Spaces:
Build error
Build error
| loading env vars from: /common/home/users/d/dh.huang.2023/common2/code/logical-reasoning/.env | |
| Adding /common/home/users/d/dh.huang.2023/common2/code/logical-reasoning to sys.path | |
| loading /common/home/users/d/dh.huang.2023/common2/code/logical-reasoning/llm_toolkit/logical_reasoning_utils.py | |
| Qwen/Qwen2-72B-Instruct llama-factory/saves/Qwen2-72B-Instruct/checkpoint-175 True datasets/mgtv results/Qwen2-72B-Instruct_p2.csv | |
| (1) GPU = NVIDIA H100 PCIe. Max memory = 79.097 GB. | |
| 0.0 GB of memory reserved. | |
| loading model: Qwen/Qwen2-72B-Instruct with adapter: llama-factory/saves/Qwen2-72B-Instruct/checkpoint-175 | |
| 09/09/2024 10:46:33 - INFO - llamafactory.data.template - Replace eos token: <|im_end|> | |
| 09/09/2024 10:46:33 - INFO - llamafactory.data.template - Add <|im_start|> to stop words. | |
| 09/09/2024 10:46:33 - INFO - llamafactory.model.model_utils.quantization - Quantizing model to 4 bit with bitsandbytes. | |
| 09/09/2024 10:46:33 - INFO - llamafactory.model.patcher - Using KV cache for faster generation. | |
| 09/09/2024 10:57:14 - INFO - llamafactory.model.model_utils.attention - Using torch SDPA for faster training and inference. | |
| 09/09/2024 10:57:15 - INFO - llamafactory.model.adapter - Loaded adapter(s): llama-factory/saves/Qwen2-72B-Instruct/checkpoint-175 | |
| 09/09/2024 10:57:15 - INFO - llamafactory.model.loader - all params: 72,811,470,848 | |
| (2) GPU = NVIDIA H100 PCIe. Max memory = 79.097 GB. | |
| 43.037 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: <|im_start|>system | |
| You are an expert in logical reasoning.<|im_end|> | |
| <|im_start|>user | |
| 你是一个情景猜谜游戏的主持人。游戏规则如下： | |
| 1. 参与者会得到一个谜面，谜面会描述一个简单又难以理解的事件。 | |
| 2. 主持人知道谜底，谜底是谜面的答案。 | |
| 3. 参与者可以询问任何封闭式问题来找寻事件的真相。 | |
| 4. 对于每个问题，主持人将根据实际情况回答以下五个选项之一：是、不是、不重要、回答正确、问法错误。各回答的判断标准如下： | |
| - 若谜面和谜底能找到问题的答案，回答：是或者不是 | |
| - 若谜面和谜底不能直接或者间接推断出问题的答案，回答：不重要 | |
| - 若参与者提问不是一个封闭式问题或者问题难以理解，回答：问法错误 | |
| - 若参与者提问基本还原了谜底真相，回答：回答正确 | |
| 5. 回答中不能添加任何其它信息，也不能省略选项中的任何一个字。例如，不可以把“不是”省略成“不”。 | |
| 请严格按照这些规则回答参与者提出的问题。 | |
| **谜面:** 在远离城市喧嚣的海边小屋，一天清晨，邻居发现甄加索僵卧在沙滩上，已无生命迹象。现场没有发现任何打斗的迹象。请问甄加索的死因是什么？ | |
| **谜底:** 甄加索是一位热爱自然的画家，他每年都会来到这个海边小屋寻找灵感。在他生命的最后几天，他一直在创作一幅描绘海洋生物的画作。在画即将完成的前一天晚上，他骑着自行车外出，打算在海边观赏夜景。然而，他在沙滩上意外发现了一只搁浅的海豚，为了救助这只海豚，他耗费了极大的体力，最终成功将其送回海中。筋疲力尽的甄加索在沙滩上睡着了，由于他患有严重的心脏病，却未告知旁人，在寒冷的海风中，他的心脏停止了跳动。因此，警方在现场只发现了车轮痕迹和未完成的画作，而没有发现任何他杀的迹象。 | |
| **参与者提出的问题:** 甄加索是自杀吗 | |
| <|im_end|> | |
| <|im_start|>assistant | |
| 不是<|im_end|> | |
| -------------------------------------------------- | |
| prompt: <|im_start|>system | |
| You are an expert in logical reasoning.<|im_end|> | |
| <|im_start|>user | |
| 你是一个情景猜谜游戏的主持人。游戏规则如下： | |
| 1. 参与者会得到一个谜面，谜面会描述一个简单又难以理解的事件。 | |
| 2. 主持人知道谜底，谜底是谜面的答案。 | |
| 3. 参与者可以询问任何封闭式问题来找寻事件的真相。 | |
| 4. 对于每个问题，主持人将根据实际情况回答以下五个选项之一：是、不是、不重要、回答正确、问法错误。各回答的判断标准如下： | |
| - 若谜面和谜底能找到问题的答案，回答：是或者不是 | |
| - 若谜面和谜底不能直接或者间接推断出问题的答案，回答：不重要 | |
| - 若参与者提问不是一个封闭式问题或者问题难以理解，回答：问法错误 | |
| - 若参与者提问基本还原了谜底真相，回答：回答正确 | |
| 5. 回答中不能添加任何其它信息，也不能省略选项中的任何一个字。例如，不可以把“不是”省略成“不”。 | |
| 请严格按照这些规则回答参与者提出的问题。 | |
| **谜面:** 在远离城市喧嚣的海边小屋，一天清晨，邻居发现甄加索僵卧在沙滩上，已无生命迹象。现场没有发现任何打斗的迹象。请问甄加索的死因是什么？ | |
| **谜底:** 甄加索是一位热爱自然的画家，他每年都会来到这个海边小屋寻找灵感。在他生命的最后几天，他一直在创作一幅描绘海洋生物的画作。在画即将完成的前一天晚上，他骑着自行车外出，打算在海边观赏夜景。然而，他在沙滩上意外发现了一只搁浅的海豚，为了救助这只海豚，他耗费了极大的体力，最终成功将其送回海中。筋疲力尽的甄加索在沙滩上睡着了，由于他患有严重的心脏病，却未告知旁人，在寒冷的海风中，他的心脏停止了跳动。因此，警方在现场只发现了车轮痕迹和未完成的画作，而没有发现任何他杀的迹象。 | |
| **参与者提出的问题:** 甄加索是自杀吗 | |
| <|im_end|> | |
| <|im_start|>assistant | |
| -------------------------------------------------- | |
| text: 死者受伤了吗 | |
| -------------------------------------------------- | |
| label: 不是 | |
| -------------------------------------------------- | |
| answer: nan | |
| -------------------------------------------------- | |
| title: 甄庄哭声 | |
| -------------------------------------------------- | |
| puzzle: 在一个安静的夜晚，小村庄的湖边突然传来了阵阵哭泣声。第二天早晨，村长甄锐发现湖边的石头上放着一顶破旧的帽子，但没有人知道这顶帽子是从哪里来的，哭泣声又是为何。请还原故事真相。 | |
| -------------------------------------------------- | |
| truth: 原来，这顶破旧的帽子属于一个小男孩，他小时候与爷爷在湖边生活。爷爷教他钓鱼、游泳，还告诉他湖中的海龟是他们的朋友。后来，小男孩随父母去了城市生活，但每年夏天都会回到村子探望爷爷。然而，去年夏天，爷爷因病去世，小男孩伤心欲绝。今年夏天，他回到村子，来到湖边，想起和爷爷的美好回忆，忍不住哭泣。他将爷爷的帽子放在湖边的石头上，希望能让爷爷的在天之灵得到安慰。那晚的哭泣声正是小男孩在祭莫他亲爱的爷爷。 | |
| -------------------------------------------------- | |
| train_text: <|im_start|>system | |
| You are an expert in logical reasoning.<|im_end|> | |
| <|im_start|>user | |
| 你是一个情景猜谜游戏的主持人。游戏规则如下： | |
| 1. 参与者会得到一个谜面，谜面会描述一个简单又难以理解的事件。 | |
| 2. 主持人知道谜底，谜底是谜面的答案。 | |
| 3. 参与者可以询问任何封闭式问题来找寻事件的真相。 | |
| 4. 对于每个问题，主持人将根据实际情况回答以下五个选项之一：是、不是、不重要、回答正确、问法错误。各回答的判断标准如下： | |
| - 若谜面和谜底能找到问题的答案，回答：是或者不是 | |
| - 若谜面和谜底不能直接或者间接推断出问题的答案，回答：不重要 | |
| - 若参与者提问不是一个封闭式问题或者问题难以理解，回答：问法错误 | |
| - 若参与者提问基本还原了谜底真相，回答：回答正确 | |
| 5. 回答中不能添加任何其它信息，也不能省略选项中的任何一个字。例如，不可以把“不是”省略成“不”。 | |
| 请严格按照这些规则回答参与者提出的问题。 | |
| **谜面:** 在一个安静的夜晚，小村庄的湖边突然传来了阵阵哭泣声。第二天早晨，村长甄锐发现湖边的石头上放着一顶破旧的帽子，但没有人知道这顶帽子是从哪里来的，哭泣声又是为何。请还原故事真相。 | |
| **谜底:** 原来，这顶破旧的帽子属于一个小男孩，他小时候与爷爷在湖边生活。爷爷教他钓鱼、游泳，还告诉他湖中的海龟是他们的朋友。后来，小男孩随父母去了城市生活，但每年夏天都会回到村子探望爷爷。然而，去年夏天，爷爷因病去世，小男孩伤心欲绝。今年夏天，他回到村子，来到湖边，想起和爷爷的美好回忆，忍不住哭泣。他将爷爷的帽子放在湖边的石头上，希望能让爷爷的在天之灵得到安慰。那晚的哭泣声正是小男孩在祭莫他亲爱的爷爷。 | |
| **参与者提出的问题:** 死者受伤了吗 | |
| <|im_end|> | |
| <|im_start|>assistant | |
| 不是<|im_end|> | |
| -------------------------------------------------- | |
| prompt: <|im_start|>system | |
| You are an expert in logical reasoning.<|im_end|> | |
| <|im_start|>user | |
| 你是一个情景猜谜游戏的主持人。游戏规则如下： | |
| 1. 参与者会得到一个谜面，谜面会描述一个简单又难以理解的事件。 | |
| 2. 主持人知道谜底，谜底是谜面的答案。 | |
| 3. 参与者可以询问任何封闭式问题来找寻事件的真相。 | |
| 4. 对于每个问题，主持人将根据实际情况回答以下五个选项之一：是、不是、不重要、回答正确、问法错误。各回答的判断标准如下： | |
| - 若谜面和谜底能找到问题的答案，回答：是或者不是 | |
| - 若谜面和谜底不能直接或者间接推断出问题的答案，回答：不重要 | |
| - 若参与者提问不是一个封闭式问题或者问题难以理解，回答：问法错误 | |
| - 若参与者提问基本还原了谜底真相，回答：回答正确 | |
| 5. 回答中不能添加任何其它信息，也不能省略选项中的任何一个字。例如，不可以把“不是”省略成“不”。 | |
| 请严格按照这些规则回答参与者提出的问题。 | |
| **谜面:** 在一个安静的夜晚，小村庄的湖边突然传来了阵阵哭泣声。第二天早晨，村长甄锐发现湖边的石头上放着一顶破旧的帽子，但没有人知道这顶帽子是从哪里来的，哭泣声又是为何。请还原故事真相。 | |
| **谜底:** 原来，这顶破旧的帽子属于一个小男孩，他小时候与爷爷在湖边生活。爷爷教他钓鱼、游泳，还告诉他湖中的海龟是他们的朋友。后来，小男孩随父母去了城市生活，但每年夏天都会回到村子探望爷爷。然而，去年夏天，爷爷因病去世，小男孩伤心欲绝。今年夏天，他回到村子，来到湖边，想起和爷爷的美好回忆，忍不住哭泣。他将爷爷的帽子放在湖边的石头上，希望能让爷爷的在天之灵得到安慰。那晚的哭泣声正是小男孩在祭莫他亲爱的爷爷。 | |
| **参与者提出的问题:** 死者受伤了吗 | |
| <|im_end|> | |
| <|im_start|>assistant | |
| Evaluating model: Qwen/Qwen2-72B-Instruct | |
| Batch output: ['不是', '是'] | |
| (3) GPU = NVIDIA H100 PCIe. Max memory = 79.097 GB. | |
| 49.064 GB of memory reserved. | |
| text ... Qwen/Qwen2-72B-Instruct/checkpoint-175_torch.bfloat16_4bit_lf | |
| 0 甄加索是自杀吗 ... 不是 | |
| [1 rows x 11 columns] | |
| {'accuracy': 0.7376666666666667, 'incorrect_ids': [8, 11, 16, 24, 27, 28, 29, 31, 32, 34, 36, 37, 38, 59, 60, 61, 65, 66, 67, 75, 78, 81, 82, 83, 88, 93, 94, 97, 102, 104, 106, 108, 110, 114, 115, 119, 120, 122, 124, 128, 129, 131, 139, 143, 150, 155, 156, 161, 163, 164, 179, 190, 192, 199, 200, 201, 222, 224, 225, 227, 229, 231, 235, 243, 245, 250, 251, 253, 255, 257, 259, 260, 261, 271, 275, 278, 282, 286, 287, 291, 294, 299, 304, 311, 314, 321, 323, 326, 328, 330, 332, 334, 335, 342, 350, 351, 353, 354, 355, 356, 358, 359, 360, 362, 365, 368, 370, 371, 372, 373, 374, 376, 377, 383, 386, 389, 391, 395, 396, 397, 399, 402, 408, 410, 413, 417, 428, 429, 430, 440, 445, 447, 449, 452, 454, 456, 458, 461, 472, 473, 474, 476, 480, 483, 486, 490, 492, 493, 494, 495, 499, 501, 502, 506, 507, 508, 509, 510, 511, 514, 517, 519, 520, 534, 536, 540, 560, 564, 570, 571, 579, 581, 589, 591, 593, 596, 598, 600, 601, 612, 613, 614, 621, 625, 628, 629, 632, 636, 643, 644, 647, 649, 662, 663, 665, 666, 667, 668, 670, 681, 682, 684, 686, 692, 695, 701, 702, 705, 707, 711, 716, 720, 721, 722, 727, 729, 730, 731, 732, 734, 735, 739, 743, 754, 770, 771, 774, 778, 781, 783, 786, 788, 789, 790, 791, 792, 795, 797, 798, 799, 801, 803, 805, 808, 813, 817, 818, 820, 821, 823, 824, 837, 840, 847, 849, 857, 864, 866, 868, 869, 870, 876, 884, 888, 889, 890, 894, 899, 901, 904, 906, 909, 912, 913, 917, 927, 930, 935, 937, 940, 945, 952, 962, 969, 970, 971, 980, 991, 993, 994, 998, 1006, 1007, 1012, 1014, 1018, 1020, 1031, 1032, 1036, 1040, 1043, 1045, 1049, 1051, 1053, 1061, 1066, 1067, 1069, 1071, 1075, 1076, 1080, 1087, 1111, 1112, 1116, 1120, 1125, 1126, 1135, 1138, 1139, 1149, 1153, 1158, 1161, 1166, 1172, 1174, 1176, 1178, 1180, 1181, 1185, 1198, 1202, 1203, 1209, 1212, 1216, 1221, 1228, 1232, 1236, 1239, 1240, 1241, 1245, 1251, 1252, 1254, 1255, 1256, 1259, 1289, 1292, 1297, 1305, 1308, 1311, 1313, 1315, 1317, 1321, 1324, 1331, 1333, 1335, 1342, 1345, 1347, 1349, 1357, 1362, 1363, 1370, 1380, 1384, 1386, 1387, 1389, 1391, 1392, 1393, 1402, 1406, 1413, 1418, 1420, 1422, 1426, 1428, 1431, 1437, 1440, 1444, 1445, 1448, 1450, 1453, 1454, 1456, 1457, 1462, 1468, 1469, 1470, 1473, 1476, 1485, 1490, 1494, 1495, 1496, 1512, 1517, 1518, 1522, 1525, 1526, 1533, 1547, 1548, 1554, 1556, 1558, 1560, 1562, 1581, 1585, 1586, 1590, 1593, 1594, 1596, 1602, 1603, 1604, 1605, 1606, 1613, 1622, 1631, 1635, 1636, 1641, 1645, 1647, 1648, 1650, 1654, 1655, 1658, 1659, 1668, 1672, 1673, 1674, 1679, 1686, 1690, 1695, 1704, 1712, 1716, 1726, 1727, 1740, 1751, 1755, 1756, 1758, 1761, 1768, 1770, 1773, 1780, 1786, 1787, 1795, 1796, 1798, 1799, 1810, 1812, 1816, 1827, 1835, 1836, 1841, 1845, 1847, 1848, 1851, 1852, 1854, 1858, 1860, 1867, 1869, 1872, 1907, 1917, 1925, 1933, 1934, 1943, 1944, 1950, 1953, 1958, 1964, 1965, 1967, 1978, 1981, 1984, 1990, 1992, 1994, 1995, 2001, 2014, 2015, 2017, 2030, 2035, 2044, 2046, 2061, 2062, 2064, 2072, 2076, 2077, 2091, 2092, 2094, 2095, 2100, 2102, 2105, 2107, 2109, 2112, 2114, 2118, 2119, 2121, 2123, 2126, 2128, 2129, 2130, 2131, 2133, 2135, 2141, 2144, 2145, 2147, 2159, 2161, 2162, 2164, 2167, 2177, 2179, 2180, 2183, 2185, 2186, 2188, 2193, 2194, 2195, 2197, 2205, 2210, 2212, 2215, 2217, 2221, 2223, 2226, 2229, 2230, 2240, 2244, 2246, 2249, 2261, 2262, 2265, 2274, 2280, 2281, 2285, 2287, 2290, 2293, 2297, 2301, 2304, 2311, 2312, 2313, 2318, 2319, 2320, 2322, 2324, 2330, 2333, 2339, 2340, 2343, 2345, 2348, 2360, 2364, 2366, 2369, 2373, 2388, 2395, 2399, 2400, 2406, 2409, 2410, 2423, 2424, 2425, 2429, 2437, 2440, 2441, 2442, 2445, 2446, 2448, 2471, 2472, 2474, 2477, 2484, 2486, 2488, 2491, 2501, 2502, 2508, 2511, 2515, 2516, 2517, 2518, 2522, 2526, 2529, 2530, 2532, 2534, 2535, 2538, 2547, 2548, 2549, 2554, 2555, 2556, 2557, 2559, 2560, 2562, 2569, 2574, 2575, 2589, 2600, 2604, 2610, 2617, 2624, 2629, 2630, 2632, 2639, 2652, 2655, 2660, 2661, 2663, 2664, 2667, 2672, 2676, 2678, 2697, 2699, 2704, 2710, 2714, 2727, 2731, 2735, 2736, 2744, 2746, 2747, 2749, 2751, 2754, 2756, 2757, 2760, 2762, 2764, 2766, 2767, 2770, 2787, 2788, 2797, 2798, 2803, 2806, 2807, 2814, 2815, 2816, 2818, 2823, 2824, 2837, 2842, 2843, 2844, 2852, 2856, 2857, 2861, 2867, 2875, 2876, 2877, 2880, 2882, 2884, 2888, 2890, 2899, 2902, 2905, 2906, 2912, 2913, 2915, 2916, 2919, 2921, 2931, 2933, 2937, 2944, 2949, 2953, 2955, 2962, 2963, 2966, 2972, 2973, 2975, 2976, 2977, 2980, 2983, 2985, 2988, 2991, 2992, 2995, 2999]} | |