loading env vars from: /common2/dh.huang.2023/code/logical-reasoning/.env Adding /common2/dh.huang.2023/code/logical-reasoning to sys.path loading /common2/dh.huang.2023/code/logical-reasoning/llm_toolkit/logical_reasoning_utils.py hfl/llama-3-chinese-8b-instruct-v3 llama-factory/saves/llama3-8b/lora/sft_bf16_p2_full_r3/checkpoint-175 False datasets/mgtv results/llama3-8b_lora_sft_bf16-p2_r3.csv (1) GPU = NVIDIA L40. Max memory = 44.309 GB. 0.0 GB of memory reserved. loading model: hfl/llama-3-chinese-8b-instruct-v3 with adapter: llama-factory/saves/llama3-8b/lora/sft_bf16_p2_full_r3/checkpoint-175 07/24/2024 00:17:20 - INFO - llamafactory.data.template - Replace eos token: <|eot_id|> 07/24/2024 00:17:20 - INFO - llamafactory.data.template - Add pad token: <|eot_id|> 07/24/2024 00:17:20 - INFO - llamafactory.model.patcher - Using KV cache for faster generation. 07/24/2024 00:17:28 - INFO - llamafactory.model.model_utils.attention - Using torch SDPA for faster training and inference. 07/24/2024 00:17:28 - INFO - llamafactory.model.adapter - Merged 1 adapter(s). 07/24/2024 00:17:28 - INFO - llamafactory.model.adapter - Loaded adapter(s): llama-factory/saves/llama3-8b/lora/sft_bf16_p2_full_r3/checkpoint-175 07/24/2024 00:17:28 - INFO - llamafactory.model.loader - all params: 8,030,261,248 (2) GPU = NVIDIA L40. Max memory = 44.309 GB. 15.502 GB of memory reserved. loading train/test data files DatasetDict({ train: Dataset({ features: ['text', 'label', 'answer', 'title', 'puzzle', 'truth', 'train_text', 'prompt'], num_rows: 25000 }) test: Dataset({ features: ['text', 'label', 'answer', 'title', 'puzzle', 'truth', 'train_text', 'prompt'], num_rows: 3000 }) }) -------------------------------------------------- text: 甄加索是自杀吗 -------------------------------------------------- label: 不是 -------------------------------------------------- answer: nan -------------------------------------------------- title: 海岸之谜 -------------------------------------------------- puzzle: 在远离城市喧嚣的海边小屋，一天清晨，邻居发现甄加索僵卧在沙滩上，已无生命迹象。现场没有发现任何打斗的迹象。请问甄加索的死因是什么？ -------------------------------------------------- truth: 甄加索是一位热爱自然的画家，他每年都会来到这个海边小屋寻找灵感。在他生命的最后几天，他一直在创作一幅描绘海洋生物的画作。在画即将完成的前一天晚上，他骑着自行车外出，打算在海边观赏夜景。然而，他在沙滩上意外发现了一只搁浅的海豚，为了救助这只海豚，他耗费了极大的体力，最终成功将其送回海中。筋疲力尽的甄加索在沙滩上睡着了，由于他患有严重的心脏病，却未告知旁人，在寒冷的海风中，他的心脏停止了跳动。因此，警方在现场只发现了车轮痕迹和未完成的画作，而没有发现任何他杀的迹象。 -------------------------------------------------- train_text: <|begin_of_text|><|start_header_id|>system<|end_header_id|> You are an expert in logical reasoning.<|eot_id|><|start_header_id|>user<|end_header_id|> 你是一个情景猜谜游戏的主持人。游戏规则如下： 1. 参与者会得到一个谜面，谜面会描述一个简单又难以理解的事件。 2. 主持人知道谜底，谜底是谜面的答案。 3. 参与者可以询问任何封闭式问题来找寻事件的真相。 4. 对于每个问题，主持人将根据实际情况回答以下五个选项之一：是、不是、不重要、回答正确、问法错误。各回答的判断标准如下： - 若谜面和谜底能找到问题的答案，回答：是或者不是 - 若谜面和谜底不能直接或者间接推断出问题的答案，回答：不重要 - 若参与者提问不是一个封闭式问题或者问题难以理解，回答：问法错误 - 若参与者提问基本还原了谜底真相，回答：回答正确 5. 回答中不能添加任何其它信息，也不能省略选项中的任何一个字。例如，不可以把“不是”省略成“不”。 请严格按照这些规则回答参与者提出的问题。 **谜面:** 在远离城市喧嚣的海边小屋，一天清晨，邻居发现甄加索僵卧在沙滩上，已无生命迹象。现场没有发现任何打斗的迹象。请问甄加索的死因是什么？ **谜底:** 甄加索是一位热爱自然的画家，他每年都会来到这个海边小屋寻找灵感。在他生命的最后几天，他一直在创作一幅描绘海洋生物的画作。在画即将完成的前一天晚上，他骑着自行车外出，打算在海边观赏夜景。然而，他在沙滩上意外发现了一只搁浅的海豚，为了救助这只海豚，他耗费了极大的体力，最终成功将其送回海中。筋疲力尽的甄加索在沙滩上睡着了，由于他患有严重的心脏病，却未告知旁人，在寒冷的海风中，他的心脏停止了跳动。因此，警方在现场只发现了车轮痕迹和未完成的画作，而没有发现任何他杀的迹象。 **参与者提出的问题:** 甄加索是自杀吗 <|eot_id|><|start_header_id|>assistant<|end_header_id|> 不是<|eot_id|> -------------------------------------------------- prompt: <|begin_of_text|><|start_header_id|>system<|end_header_id|> You are an expert in logical reasoning.<|eot_id|><|start_header_id|>user<|end_header_id|> 你是一个情景猜谜游戏的主持人。游戏规则如下： 1. 参与者会得到一个谜面，谜面会描述一个简单又难以理解的事件。 2. 主持人知道谜底，谜底是谜面的答案。 3. 参与者可以询问任何封闭式问题来找寻事件的真相。 4. 对于每个问题，主持人将根据实际情况回答以下五个选项之一：是、不是、不重要、回答正确、问法错误。各回答的判断标准如下： - 若谜面和谜底能找到问题的答案，回答：是或者不是 - 若谜面和谜底不能直接或者间接推断出问题的答案，回答：不重要 - 若参与者提问不是一个封闭式问题或者问题难以理解，回答：问法错误 - 若参与者提问基本还原了谜底真相，回答：回答正确 5. 回答中不能添加任何其它信息，也不能省略选项中的任何一个字。例如，不可以把“不是”省略成“不”。 请严格按照这些规则回答参与者提出的问题。 **谜面:** 在远离城市喧嚣的海边小屋，一天清晨，邻居发现甄加索僵卧在沙滩上，已无生命迹象。现场没有发现任何打斗的迹象。请问甄加索的死因是什么？ **谜底:** 甄加索是一位热爱自然的画家，他每年都会来到这个海边小屋寻找灵感。在他生命的最后几天，他一直在创作一幅描绘海洋生物的画作。在画即将完成的前一天晚上，他骑着自行车外出，打算在海边观赏夜景。然而，他在沙滩上意外发现了一只搁浅的海豚，为了救助这只海豚，他耗费了极大的体力，最终成功将其送回海中。筋疲力尽的甄加索在沙滩上睡着了，由于他患有严重的心脏病，却未告知旁人，在寒冷的海风中，他的心脏停止了跳动。因此，警方在现场只发现了车轮痕迹和未完成的画作，而没有发现任何他杀的迹象。 **参与者提出的问题:** 甄加索是自杀吗 <|eot_id|><|start_header_id|>assistant<|end_header_id|> -------------------------------------------------- text: 死者受伤了吗 -------------------------------------------------- label: 不是 -------------------------------------------------- answer: nan -------------------------------------------------- title: 甄庄哭声 -------------------------------------------------- puzzle: 在一个安静的夜晚，小村庄的湖边突然传来了阵阵哭泣声。第二天早晨，村长甄锐发现湖边的石头上放着一顶破旧的帽子，但没有人知道这顶帽子是从哪里来的，哭泣声又是为何。请还原故事真相。 -------------------------------------------------- truth: 原来，这顶破旧的帽子属于一个小男孩，他小时候与爷爷在湖边生活。爷爷教他钓鱼、游泳，还告诉他湖中的海龟是他们的朋友。后来，小男孩随父母去了城市生活，但每年夏天都会回到村子探望爷爷。然而，去年夏天，爷爷因病去世，小男孩伤心欲绝。今年夏天，他回到村子，来到湖边，想起和爷爷的美好回忆，忍不住哭泣。他将爷爷的帽子放在湖边的石头上，希望能让爷爷的在天之灵得到安慰。那晚的哭泣声正是小男孩在祭莫他亲爱的爷爷。 -------------------------------------------------- train_text: <|begin_of_text|><|start_header_id|>system<|end_header_id|> You are an expert in logical reasoning.<|eot_id|><|start_header_id|>user<|end_header_id|> 你是一个情景猜谜游戏的主持人。游戏规则如下： 1. 参与者会得到一个谜面，谜面会描述一个简单又难以理解的事件。 2. 主持人知道谜底，谜底是谜面的答案。 3. 参与者可以询问任何封闭式问题来找寻事件的真相。 4. 对于每个问题，主持人将根据实际情况回答以下五个选项之一：是、不是、不重要、回答正确、问法错误。各回答的判断标准如下： - 若谜面和谜底能找到问题的答案，回答：是或者不是 - 若谜面和谜底不能直接或者间接推断出问题的答案，回答：不重要 - 若参与者提问不是一个封闭式问题或者问题难以理解，回答：问法错误 - 若参与者提问基本还原了谜底真相，回答：回答正确 5. 回答中不能添加任何其它信息，也不能省略选项中的任何一个字。例如，不可以把“不是”省略成“不”。 请严格按照这些规则回答参与者提出的问题。 **谜面:** 在一个安静的夜晚，小村庄的湖边突然传来了阵阵哭泣声。第二天早晨，村长甄锐发现湖边的石头上放着一顶破旧的帽子，但没有人知道这顶帽子是从哪里来的，哭泣声又是为何。请还原故事真相。 **谜底:** 原来，这顶破旧的帽子属于一个小男孩，他小时候与爷爷在湖边生活。爷爷教他钓鱼、游泳，还告诉他湖中的海龟是他们的朋友。后来，小男孩随父母去了城市生活，但每年夏天都会回到村子探望爷爷。然而，去年夏天，爷爷因病去世，小男孩伤心欲绝。今年夏天，他回到村子，来到湖边，想起和爷爷的美好回忆，忍不住哭泣。他将爷爷的帽子放在湖边的石头上，希望能让爷爷的在天之灵得到安慰。那晚的哭泣声正是小男孩在祭莫他亲爱的爷爷。 **参与者提出的问题:** 死者受伤了吗 <|eot_id|><|start_header_id|>assistant<|end_header_id|> 不是<|eot_id|> -------------------------------------------------- prompt: <|begin_of_text|><|start_header_id|>system<|end_header_id|> You are an expert in logical reasoning.<|eot_id|><|start_header_id|>user<|end_header_id|> 你是一个情景猜谜游戏的主持人。游戏规则如下： 1. 参与者会得到一个谜面，谜面会描述一个简单又难以理解的事件。 2. 主持人知道谜底，谜底是谜面的答案。 3. 参与者可以询问任何封闭式问题来找寻事件的真相。 4. 对于每个问题，主持人将根据实际情况回答以下五个选项之一：是、不是、不重要、回答正确、问法错误。各回答的判断标准如下： - 若谜面和谜底能找到问题的答案，回答：是或者不是 - 若谜面和谜底不能直接或者间接推断出问题的答案，回答：不重要 - 若参与者提问不是一个封闭式问题或者问题难以理解，回答：问法错误 - 若参与者提问基本还原了谜底真相，回答：回答正确 5. 回答中不能添加任何其它信息，也不能省略选项中的任何一个字。例如，不可以把“不是”省略成“不”。 请严格按照这些规则回答参与者提出的问题。 **谜面:** 在一个安静的夜晚，小村庄的湖边突然传来了阵阵哭泣声。第二天早晨，村长甄锐发现湖边的石头上放着一顶破旧的帽子，但没有人知道这顶帽子是从哪里来的，哭泣声又是为何。请还原故事真相。 **谜底:** 原来，这顶破旧的帽子属于一个小男孩，他小时候与爷爷在湖边生活。爷爷教他钓鱼、游泳，还告诉他湖中的海龟是他们的朋友。后来，小男孩随父母去了城市生活，但每年夏天都会回到村子探望爷爷。然而，去年夏天，爷爷因病去世，小男孩伤心欲绝。今年夏天，他回到村子，来到湖边，想起和爷爷的美好回忆，忍不住哭泣。他将爷爷的帽子放在湖边的石头上，希望能让爷爷的在天之灵得到安慰。那晚的哭泣声正是小男孩在祭莫他亲爱的爷爷。 **参与者提出的问题:** 死者受伤了吗 <|eot_id|><|start_header_id|>assistant<|end_header_id|> Evaluating model: hfl/llama-3-chinese-8b-instruct-v3 Batch output: ['不是'] (3) GPU = NVIDIA L40. Max memory = 44.309 GB. 21.305 GB of memory reserved. text ... hfl/llama-3-chinese-8b-instruct-v3/checkpoint-175_torch.bfloat16_lf 0 甄加索是自杀吗 ... 不是 [1 rows x 11 columns] {'accuracy': 0.697, 'incorrect_ids': [9, 12, 15, 16, 19, 24, 26, 31, 32, 33, 34, 35, 36, 38, 55, 58, 59, 61, 65, 66, 67, 78, 79, 81, 83, 91, 99, 104, 106, 108, 109, 112, 114, 115, 118, 120, 123, 135, 136, 137, 138, 139, 150, 152, 160, 161, 163, 164, 169, 170, 174, 175, 179, 180, 181, 184, 185, 188, 190, 192, 199, 200, 202, 218, 224, 225, 227, 233, 242, 243, 250, 251, 254, 260, 261, 262, 263, 268, 272, 275, 276, 279, 283, 284, 292, 293, 295, 304, 308, 309, 311, 314, 315, 317, 318, 321, 323, 326, 328, 330, 334, 335, 338, 341, 343, 347, 349, 350, 351, 352, 353, 355, 356, 360, 362, 363, 364, 368, 370, 371, 372, 373, 376, 377, 383, 384, 386, 389, 391, 395, 396, 397, 398, 402, 404, 410, 416, 419, 421, 425, 428, 429, 430, 431, 440, 445, 447, 454, 455, 456, 457, 461, 462, 465, 469, 470, 471, 472, 473, 474, 475, 476, 485, 486, 490, 492, 494, 495, 501, 502, 503, 506, 507, 508, 509, 511, 512, 514, 516, 517, 530, 531, 533, 534, 536, 540, 550, 552, 553, 560, 566, 569, 570, 571, 579, 581, 589, 591, 592, 593, 597, 601, 612, 613, 614, 621, 625, 626, 629, 632, 636, 637, 640, 643, 644, 647, 661, 663, 665, 666, 667, 668, 671, 673, 682, 686, 689, 690, 691, 692, 694, 702, 715, 721, 729, 730, 734, 740, 743, 744, 752, 754, 758, 765, 770, 772, 774, 778, 785, 788, 790, 791, 792, 795, 798, 799, 801, 805, 809, 813, 817, 818, 819, 820, 821, 822, 823, 824, 826, 827, 828, 840, 842, 843, 845, 847, 848, 849, 856, 861, 866, 867, 869, 870, 871, 873, 875, 876, 878, 884, 886, 888, 889, 890, 895, 901, 904, 907, 908, 909, 913, 916, 918, 920, 927, 935, 936, 937, 942, 943, 945, 949, 953, 954, 956, 958, 962, 964, 966, 969, 980, 989, 991, 993, 994, 998, 1000, 1003, 1005, 1007, 1011, 1012, 1014, 1019, 1022, 1023, 1025, 1026, 1028, 1031, 1032, 1038, 1040, 1043, 1045, 1049, 1051, 1055, 1061, 1063, 1071, 1074, 1075, 1076, 1077, 1080, 1087, 1091, 1116, 1120, 1125, 1126, 1141, 1143, 1147, 1151, 1159, 1162, 1163, 1166, 1167, 1170, 1171, 1177, 1178, 1180, 1181, 1183, 1185, 1198, 1203, 1209, 1212, 1228, 1232, 1235, 1239, 1240, 1241, 1242, 1245, 1251, 1252, 1254, 1256, 1259, 1267, 1271, 1274, 1278, 1288, 1292, 1301, 1305, 1308, 1311, 1313, 1314, 1316, 1317, 1321, 1322, 1323, 1326, 1331, 1337, 1338, 1339, 1342, 1345, 1349, 1353, 1361, 1363, 1364, 1365, 1367, 1370, 1377, 1379, 1384, 1386, 1389, 1390, 1391, 1392, 1395, 1402, 1406, 1407, 1409, 1419, 1420, 1422, 1425, 1430, 1431, 1432, 1437, 1438, 1440, 1443, 1444, 1445, 1451, 1453, 1457, 1459, 1462, 1469, 1473, 1474, 1478, 1482, 1485, 1487, 1490, 1492, 1495, 1496, 1499, 1501, 1504, 1506, 1510, 1512, 1517, 1518, 1525, 1526, 1528, 1533, 1535, 1536, 1547, 1548, 1549, 1554, 1558, 1560, 1562, 1572, 1580, 1581, 1583, 1585, 1586, 1587, 1590, 1593, 1594, 1596, 1601, 1603, 1604, 1605, 1606, 1614, 1620, 1622, 1624, 1627, 1633, 1636, 1645, 1647, 1648, 1650, 1654, 1655, 1656, 1658, 1659, 1663, 1666, 1668, 1671, 1672, 1673, 1674, 1676, 1679, 1683, 1684, 1686, 1695, 1698, 1710, 1716, 1718, 1726, 1727, 1735, 1736, 1738, 1740, 1745, 1751, 1755, 1756, 1764, 1768, 1769, 1770, 1773, 1780, 1786, 1791, 1792, 1796, 1798, 1799, 1800, 1804, 1812, 1816, 1819, 1820, 1827, 1834, 1835, 1839, 1848, 1854, 1860, 1869, 1872, 1879, 1882, 1888, 1890, 1894, 1895, 1897, 1907, 1909, 1913, 1914, 1915, 1931, 1933, 1935, 1936, 1944, 1945, 1947, 1950, 1953, 1954, 1958, 1959, 1963, 1964, 1967, 1973, 1978, 1979, 1981, 1982, 1984, 1986, 1987, 1989, 1990, 1991, 1992, 1995, 1996, 2001, 2007, 2011, 2014, 2017, 2021, 2025, 2029, 2035, 2036, 2038, 2054, 2059, 2061, 2062, 2063, 2064, 2077, 2085, 2088, 2091, 2092, 2094, 2097, 2099, 2100, 2102, 2105, 2106, 2107, 2109, 2114, 2119, 2121, 2122, 2126, 2129, 2131, 2132, 2133, 2138, 2142, 2144, 2145, 2147, 2161, 2162, 2164, 2169, 2173, 2177, 2181, 2185, 2186, 2187, 2188, 2192, 2193, 2194, 2197, 2198, 2199, 2205, 2208, 2210, 2212, 2214, 2215, 2221, 2223, 2226, 2229, 2230, 2233, 2238, 2240, 2243, 2244, 2245, 2246, 2249, 2251, 2261, 2262, 2265, 2274, 2278, 2280, 2283, 2287, 2298, 2301, 2304, 2311, 2312, 2313, 2320, 2322, 2323, 2324, 2330, 2333, 2335, 2344, 2348, 2354, 2359, 2364, 2366, 2367, 2378, 2388, 2395, 2396, 2400, 2406, 2408, 2409, 2410, 2418, 2420, 2423, 2425, 2429, 2435, 2437, 2440, 2442, 2446, 2448, 2465, 2466, 2471, 2476, 2477, 2484, 2486, 2491, 2493, 2496, 2503, 2515, 2516, 2517, 2522, 2526, 2529, 2530, 2532, 2534, 2535, 2537, 2538, 2539, 2540, 2548, 2549, 2553, 2555, 2556, 2557, 2559, 2560, 2575, 2589, 2594, 2599, 2604, 2605, 2606, 2607, 2610, 2623, 2626, 2629, 2630, 2633, 2649, 2660, 2661, 2663, 2664, 2666, 2667, 2671, 2676, 2678, 2682, 2694, 2702, 2707, 2708, 2711, 2714, 2727, 2731, 2732, 2733, 2735, 2736, 2738, 2739, 2742, 2745, 2746, 2749, 2754, 2761, 2762, 2764, 2765, 2766, 2769, 2772, 2774, 2777, 2781, 2782, 2788, 2791, 2793, 2797, 2798, 2801, 2802, 2803, 2805, 2810, 2811, 2814, 2815, 2816, 2821, 2823, 2824, 2829, 2833, 2834, 2837, 2843, 2845, 2851, 2852, 2854, 2857, 2863, 2866, 2867, 2870, 2877, 2878, 2882, 2884, 2890, 2891, 2896, 2899, 2902, 2905, 2912, 2913, 2915, 2916, 2921, 2923, 2931, 2933, 2937, 2942, 2944, 2949, 2950, 2953, 2955, 2957, 2960, 2964, 2965, 2966, 2967, 2968, 2969, 2973, 2976, 2979, 2980, 2981, 2985, 2991, 2995, 2998]}