clemsail commited on
Commit
75c22a0
·
verified ·
1 Parent(s): c781217

chore: upload lm-eval-harness results

Browse files
evals/results_2026-04-15T18-44-41.265898.json ADDED
@@ -0,0 +1,610 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "results": {
3
+ "leaderboard_math_hard": {
4
+ "exact_match,none": 0.3406344410876133,
5
+ "exact_match_stderr,none": 0.012022643333214926,
6
+ "alias": "leaderboard_math_hard"
7
+ },
8
+ "leaderboard_math_algebra_hard": {
9
+ "alias": " - leaderboard_math_algebra_hard",
10
+ "exact_match,none": 0.5700325732899023,
11
+ "exact_match_stderr,none": 0.02830133364131638,
12
+ "exact_match_original,none": 0.0,
13
+ "exact_match_original_stderr,none": 0.0
14
+ },
15
+ "leaderboard_math_counting_and_prob_hard": {
16
+ "alias": " - leaderboard_math_counting_and_prob_hard",
17
+ "exact_match,none": 0.25203252032520324,
18
+ "exact_match_stderr,none": 0.03930879526823995,
19
+ "exact_match_original,none": 0.0,
20
+ "exact_match_original_stderr,none": 0.0
21
+ },
22
+ "leaderboard_math_geometry_hard": {
23
+ "alias": " - leaderboard_math_geometry_hard",
24
+ "exact_match,none": 0.18181818181818182,
25
+ "exact_match_stderr,none": 0.03369829435719357,
26
+ "exact_match_original,none": 0.0,
27
+ "exact_match_original_stderr,none": 0.0
28
+ },
29
+ "leaderboard_math_intermediate_algebra_hard": {
30
+ "alias": " - leaderboard_math_intermediate_algebra_hard",
31
+ "exact_match,none": 0.1392857142857143,
32
+ "exact_match_stderr,none": 0.02072911170255923,
33
+ "exact_match_original,none": 0.0,
34
+ "exact_match_original_stderr,none": 0.0
35
+ },
36
+ "leaderboard_math_num_theory_hard": {
37
+ "alias": " - leaderboard_math_num_theory_hard",
38
+ "exact_match,none": 0.4155844155844156,
39
+ "exact_match_stderr,none": 0.03984233708298028,
40
+ "exact_match_original,none": 0.0,
41
+ "exact_match_original_stderr,none": 0.0
42
+ },
43
+ "leaderboard_math_prealgebra_hard": {
44
+ "alias": " - leaderboard_math_prealgebra_hard",
45
+ "exact_match,none": 0.5233160621761658,
46
+ "exact_match_stderr,none": 0.03604513672442202,
47
+ "exact_match_original,none": 0.0,
48
+ "exact_match_original_stderr,none": 0.0
49
+ },
50
+ "leaderboard_math_precalculus_hard": {
51
+ "alias": " - leaderboard_math_precalculus_hard",
52
+ "exact_match,none": 0.1259259259259259,
53
+ "exact_match_stderr,none": 0.02866020527595505,
54
+ "exact_match_original,none": 0.0,
55
+ "exact_match_original_stderr,none": 0.0
56
+ }
57
+ },
58
+ "groups": {
59
+ "leaderboard_math_hard": {
60
+ "exact_match,none": 0.3406344410876133,
61
+ "exact_match_stderr,none": 0.012022643333214926,
62
+ "alias": "leaderboard_math_hard"
63
+ }
64
+ },
65
+ "group_subtasks": {
66
+ "leaderboard_math_hard": [
67
+ "leaderboard_math_algebra_hard",
68
+ "leaderboard_math_counting_and_prob_hard",
69
+ "leaderboard_math_geometry_hard",
70
+ "leaderboard_math_intermediate_algebra_hard",
71
+ "leaderboard_math_num_theory_hard",
72
+ "leaderboard_math_prealgebra_hard",
73
+ "leaderboard_math_precalculus_hard"
74
+ ]
75
+ },
76
+ "configs": {
77
+ "leaderboard_math_algebra_hard": {
78
+ "task": "leaderboard_math_algebra_hard",
79
+ "dataset_path": "DigitalLearningGmbH/MATH-lighteval",
80
+ "dataset_name": "algebra",
81
+ "training_split": "train",
82
+ "test_split": "test",
83
+ "process_docs": "def process_docs(dataset: datasets.Dataset) -> datasets.Dataset:\n def _process_doc(doc: dict) -> dict:\n out_doc = {\n \"problem\": doc[\"problem\"],\n \"solution\": doc[\"solution\"],\n \"answer\": remove_boxed(last_boxed_only_string(doc[\"solution\"])),\n }\n if getattr(doc, \"few_shot\", None) is not None:\n out_doc[\"few_shot\"] = True\n return out_doc\n\n return dataset.filter(lambda x: x[\"level\"] == \"Level 5\").map(_process_doc)\n",
84
+ "doc_to_text": "def doc_to_text(doc: dict) -> str:\n return \"Problem:\" + \"\\n\" + doc[\"problem\"] + \"\\n\\n\" + \"Solution:\"\n",
85
+ "doc_to_target": "{{answer if few_shot is undefined else solution}}",
86
+ "unsafe_code": false,
87
+ "process_results": "def process_results(doc: dict, results: List[str]) -> Dict[str, int]:\n candidates = results[0]\n parsed_candidate = parse(candidates)\n parsed_answer = parse(doc[\"solution\"], extraction_config=[LatexExtractionConfig()])\n if verify(parsed_answer, parsed_candidate):\n retval = 1\n else:\n retval = 0\n\n try:\n original = process_result_v1(doc, candidates)\n except: # noqa: E722\n original = 0\n\n output = {\n \"exact_match\": retval,\n \"exact_match_original\": original,\n }\n return output\n",
88
+ "description": "",
89
+ "target_delimiter": " ",
90
+ "fewshot_delimiter": "\n\n",
91
+ "fewshot_config": {
92
+ "sampler": "first_n",
93
+ "split": null,
94
+ "process_docs": "<function process_docs at 0x77380f7fefc0>",
95
+ "fewshot_indices": null,
96
+ "samples": "<function list_fewshot_samples at 0x77380eab8f40>",
97
+ "doc_to_text": "<function doc_to_text at 0x77380f79e660>",
98
+ "doc_to_choice": null,
99
+ "doc_to_target": "{{answer if few_shot is undefined else solution}}",
100
+ "gen_prefix": null,
101
+ "fewshot_delimiter": "\n\n",
102
+ "target_delimiter": " "
103
+ },
104
+ "num_fewshot": 0,
105
+ "metric_list": [
106
+ {
107
+ "metric": "exact_match",
108
+ "aggregation": "mean",
109
+ "higher_is_better": true
110
+ },
111
+ {
112
+ "metric": "exact_match_original",
113
+ "aggregation": "mean",
114
+ "higher_is_better": true
115
+ }
116
+ ],
117
+ "output_type": "generate_until",
118
+ "generation_kwargs": {
119
+ "until": [
120
+ "Problem:"
121
+ ],
122
+ "do_sample": false,
123
+ "temperature": 0.0,
124
+ "max_gen_toks": 1024
125
+ },
126
+ "repeats": 1,
127
+ "should_decontaminate": false,
128
+ "metadata": {
129
+ "version": 3.0,
130
+ "base_url": "http://localhost:8000/v1/chat/completions",
131
+ "model": "devstral",
132
+ "num_concurrent": 1
133
+ }
134
+ },
135
+ "leaderboard_math_counting_and_prob_hard": {
136
+ "task": "leaderboard_math_counting_and_prob_hard",
137
+ "dataset_path": "DigitalLearningGmbH/MATH-lighteval",
138
+ "dataset_name": "counting_and_probability",
139
+ "training_split": "train",
140
+ "test_split": "test",
141
+ "process_docs": "def process_docs(dataset: datasets.Dataset) -> datasets.Dataset:\n def _process_doc(doc: dict) -> dict:\n out_doc = {\n \"problem\": doc[\"problem\"],\n \"solution\": doc[\"solution\"],\n \"answer\": remove_boxed(last_boxed_only_string(doc[\"solution\"])),\n }\n if getattr(doc, \"few_shot\", None) is not None:\n out_doc[\"few_shot\"] = True\n return out_doc\n\n return dataset.filter(lambda x: x[\"level\"] == \"Level 5\").map(_process_doc)\n",
142
+ "doc_to_text": "def doc_to_text(doc: dict) -> str:\n return \"Problem:\" + \"\\n\" + doc[\"problem\"] + \"\\n\\n\" + \"Solution:\"\n",
143
+ "doc_to_target": "{{answer if few_shot is undefined else solution}}",
144
+ "unsafe_code": false,
145
+ "process_results": "def process_results(doc: dict, results: List[str]) -> Dict[str, int]:\n candidates = results[0]\n parsed_candidate = parse(candidates)\n parsed_answer = parse(doc[\"solution\"], extraction_config=[LatexExtractionConfig()])\n if verify(parsed_answer, parsed_candidate):\n retval = 1\n else:\n retval = 0\n\n try:\n original = process_result_v1(doc, candidates)\n except: # noqa: E722\n original = 0\n\n output = {\n \"exact_match\": retval,\n \"exact_match_original\": original,\n }\n return output\n",
146
+ "description": "",
147
+ "target_delimiter": " ",
148
+ "fewshot_delimiter": "\n\n",
149
+ "fewshot_config": {
150
+ "sampler": "first_n",
151
+ "split": null,
152
+ "process_docs": "<function process_docs at 0x77380f7fef20>",
153
+ "fewshot_indices": null,
154
+ "samples": "<function list_fewshot_samples at 0x77380f7fd1c0>",
155
+ "doc_to_text": "<function doc_to_text at 0x77380f7ff380>",
156
+ "doc_to_choice": null,
157
+ "doc_to_target": "{{answer if few_shot is undefined else solution}}",
158
+ "gen_prefix": null,
159
+ "fewshot_delimiter": "\n\n",
160
+ "target_delimiter": " "
161
+ },
162
+ "num_fewshot": 0,
163
+ "metric_list": [
164
+ {
165
+ "metric": "exact_match",
166
+ "aggregation": "mean",
167
+ "higher_is_better": true
168
+ },
169
+ {
170
+ "metric": "exact_match_original",
171
+ "aggregation": "mean",
172
+ "higher_is_better": true
173
+ }
174
+ ],
175
+ "output_type": "generate_until",
176
+ "generation_kwargs": {
177
+ "until": [
178
+ "Problem:"
179
+ ],
180
+ "do_sample": false,
181
+ "temperature": 0.0,
182
+ "max_gen_toks": 1024
183
+ },
184
+ "repeats": 1,
185
+ "should_decontaminate": false,
186
+ "metadata": {
187
+ "version": 3.0,
188
+ "base_url": "http://localhost:8000/v1/chat/completions",
189
+ "model": "devstral",
190
+ "num_concurrent": 1
191
+ }
192
+ },
193
+ "leaderboard_math_geometry_hard": {
194
+ "task": "leaderboard_math_geometry_hard",
195
+ "dataset_path": "DigitalLearningGmbH/MATH-lighteval",
196
+ "dataset_name": "geometry",
197
+ "training_split": "train",
198
+ "test_split": "test",
199
+ "process_docs": "def process_docs(dataset: datasets.Dataset) -> datasets.Dataset:\n def _process_doc(doc: dict) -> dict:\n out_doc = {\n \"problem\": doc[\"problem\"],\n \"solution\": doc[\"solution\"],\n \"answer\": remove_boxed(last_boxed_only_string(doc[\"solution\"])),\n }\n if getattr(doc, \"few_shot\", None) is not None:\n out_doc[\"few_shot\"] = True\n return out_doc\n\n return dataset.filter(lambda x: x[\"level\"] == \"Level 5\").map(_process_doc)\n",
200
+ "doc_to_text": "def doc_to_text(doc: dict) -> str:\n return \"Problem:\" + \"\\n\" + doc[\"problem\"] + \"\\n\\n\" + \"Solution:\"\n",
201
+ "doc_to_target": "{{answer if few_shot is undefined else solution}}",
202
+ "unsafe_code": false,
203
+ "process_results": "def process_results(doc: dict, results: List[str]) -> Dict[str, int]:\n candidates = results[0]\n parsed_candidate = parse(candidates)\n parsed_answer = parse(doc[\"solution\"], extraction_config=[LatexExtractionConfig()])\n if verify(parsed_answer, parsed_candidate):\n retval = 1\n else:\n retval = 0\n\n try:\n original = process_result_v1(doc, candidates)\n except: # noqa: E722\n original = 0\n\n output = {\n \"exact_match\": retval,\n \"exact_match_original\": original,\n }\n return output\n",
204
+ "description": "",
205
+ "target_delimiter": " ",
206
+ "fewshot_delimiter": "\n\n",
207
+ "fewshot_config": {
208
+ "sampler": "first_n",
209
+ "split": null,
210
+ "process_docs": "<function process_docs at 0x77380f7dfba0>",
211
+ "fewshot_indices": null,
212
+ "samples": "<function list_fewshot_samples at 0x77380f7dcea0>",
213
+ "doc_to_text": "<function doc_to_text at 0x77380f7df240>",
214
+ "doc_to_choice": null,
215
+ "doc_to_target": "{{answer if few_shot is undefined else solution}}",
216
+ "gen_prefix": null,
217
+ "fewshot_delimiter": "\n\n",
218
+ "target_delimiter": " "
219
+ },
220
+ "num_fewshot": 0,
221
+ "metric_list": [
222
+ {
223
+ "metric": "exact_match",
224
+ "aggregation": "mean",
225
+ "higher_is_better": true
226
+ },
227
+ {
228
+ "metric": "exact_match_original",
229
+ "aggregation": "mean",
230
+ "higher_is_better": true
231
+ }
232
+ ],
233
+ "output_type": "generate_until",
234
+ "generation_kwargs": {
235
+ "until": [
236
+ "Problem:"
237
+ ],
238
+ "do_sample": false,
239
+ "temperature": 0.0,
240
+ "max_gen_toks": 1024
241
+ },
242
+ "repeats": 1,
243
+ "should_decontaminate": false,
244
+ "metadata": {
245
+ "version": 3.0,
246
+ "base_url": "http://localhost:8000/v1/chat/completions",
247
+ "model": "devstral",
248
+ "num_concurrent": 1
249
+ }
250
+ },
251
+ "leaderboard_math_intermediate_algebra_hard": {
252
+ "task": "leaderboard_math_intermediate_algebra_hard",
253
+ "dataset_path": "DigitalLearningGmbH/MATH-lighteval",
254
+ "dataset_name": "intermediate_algebra",
255
+ "training_split": "train",
256
+ "test_split": "test",
257
+ "process_docs": "def process_docs(dataset: datasets.Dataset) -> datasets.Dataset:\n def _process_doc(doc: dict) -> dict:\n out_doc = {\n \"problem\": doc[\"problem\"],\n \"solution\": doc[\"solution\"],\n \"answer\": remove_boxed(last_boxed_only_string(doc[\"solution\"])),\n }\n if getattr(doc, \"few_shot\", None) is not None:\n out_doc[\"few_shot\"] = True\n return out_doc\n\n return dataset.filter(lambda x: x[\"level\"] == \"Level 5\").map(_process_doc)\n",
258
+ "doc_to_text": "def doc_to_text(doc: dict) -> str:\n return \"Problem:\" + \"\\n\" + doc[\"problem\"] + \"\\n\\n\" + \"Solution:\"\n",
259
+ "doc_to_target": "{{answer if few_shot is undefined else solution}}",
260
+ "unsafe_code": false,
261
+ "process_results": "def process_results(doc: dict, results: List[str]) -> Dict[str, int]:\n candidates = results[0]\n parsed_candidate = parse(candidates)\n parsed_answer = parse(doc[\"solution\"], extraction_config=[LatexExtractionConfig()])\n if verify(parsed_answer, parsed_candidate):\n retval = 1\n else:\n retval = 0\n\n try:\n original = process_result_v1(doc, candidates)\n except: # noqa: E722\n original = 0\n\n output = {\n \"exact_match\": retval,\n \"exact_match_original\": original,\n }\n return output\n",
262
+ "description": "",
263
+ "target_delimiter": " ",
264
+ "fewshot_delimiter": "\n\n",
265
+ "fewshot_config": {
266
+ "sampler": "first_n",
267
+ "split": null,
268
+ "process_docs": "<function process_docs at 0x7738109345e0>",
269
+ "fewshot_indices": null,
270
+ "samples": "<function list_fewshot_samples at 0x77380f7dcb80>",
271
+ "doc_to_text": "<function doc_to_text at 0x77380f75fd80>",
272
+ "doc_to_choice": null,
273
+ "doc_to_target": "{{answer if few_shot is undefined else solution}}",
274
+ "gen_prefix": null,
275
+ "fewshot_delimiter": "\n\n",
276
+ "target_delimiter": " "
277
+ },
278
+ "num_fewshot": 0,
279
+ "metric_list": [
280
+ {
281
+ "metric": "exact_match",
282
+ "aggregation": "mean",
283
+ "higher_is_better": true
284
+ },
285
+ {
286
+ "metric": "exact_match_original",
287
+ "aggregation": "mean",
288
+ "higher_is_better": true
289
+ }
290
+ ],
291
+ "output_type": "generate_until",
292
+ "generation_kwargs": {
293
+ "until": [
294
+ "Problem:"
295
+ ],
296
+ "do_sample": false,
297
+ "temperature": 0.0,
298
+ "max_gen_toks": 1024
299
+ },
300
+ "repeats": 1,
301
+ "should_decontaminate": false,
302
+ "metadata": {
303
+ "version": 3.0,
304
+ "base_url": "http://localhost:8000/v1/chat/completions",
305
+ "model": "devstral",
306
+ "num_concurrent": 1
307
+ }
308
+ },
309
+ "leaderboard_math_num_theory_hard": {
310
+ "task": "leaderboard_math_num_theory_hard",
311
+ "dataset_path": "DigitalLearningGmbH/MATH-lighteval",
312
+ "dataset_name": "number_theory",
313
+ "training_split": "train",
314
+ "test_split": "test",
315
+ "process_docs": "def process_docs(dataset: datasets.Dataset) -> datasets.Dataset:\n def _process_doc(doc: dict) -> dict:\n out_doc = {\n \"problem\": doc[\"problem\"],\n \"solution\": doc[\"solution\"],\n \"answer\": remove_boxed(last_boxed_only_string(doc[\"solution\"])),\n }\n if getattr(doc, \"few_shot\", None) is not None:\n out_doc[\"few_shot\"] = True\n return out_doc\n\n return dataset.filter(lambda x: x[\"level\"] == \"Level 5\").map(_process_doc)\n",
316
+ "doc_to_text": "def doc_to_text(doc: dict) -> str:\n return \"Problem:\" + \"\\n\" + doc[\"problem\"] + \"\\n\\n\" + \"Solution:\"\n",
317
+ "doc_to_target": "{{answer if few_shot is undefined else solution}}",
318
+ "unsafe_code": false,
319
+ "process_results": "def process_results(doc: dict, results: List[str]) -> Dict[str, int]:\n candidates = results[0]\n parsed_candidate = parse(candidates)\n parsed_answer = parse(doc[\"solution\"], extraction_config=[LatexExtractionConfig()])\n if verify(parsed_answer, parsed_candidate):\n retval = 1\n else:\n retval = 0\n\n try:\n original = process_result_v1(doc, candidates)\n except: # noqa: E722\n original = 0\n\n output = {\n \"exact_match\": retval,\n \"exact_match_original\": original,\n }\n return output\n",
320
+ "description": "",
321
+ "target_delimiter": " ",
322
+ "fewshot_delimiter": "\n\n",
323
+ "fewshot_config": {
324
+ "sampler": "first_n",
325
+ "split": null,
326
+ "process_docs": "<function process_docs at 0x77380f79e520>",
327
+ "fewshot_indices": null,
328
+ "samples": "<function list_fewshot_samples at 0x77380f79c0e0>",
329
+ "doc_to_text": "<function doc_to_text at 0x77380f79de40>",
330
+ "doc_to_choice": null,
331
+ "doc_to_target": "{{answer if few_shot is undefined else solution}}",
332
+ "gen_prefix": null,
333
+ "fewshot_delimiter": "\n\n",
334
+ "target_delimiter": " "
335
+ },
336
+ "num_fewshot": 0,
337
+ "metric_list": [
338
+ {
339
+ "metric": "exact_match",
340
+ "aggregation": "mean",
341
+ "higher_is_better": true
342
+ },
343
+ {
344
+ "metric": "exact_match_original",
345
+ "aggregation": "mean",
346
+ "higher_is_better": true
347
+ }
348
+ ],
349
+ "output_type": "generate_until",
350
+ "generation_kwargs": {
351
+ "until": [
352
+ "Problem:"
353
+ ],
354
+ "do_sample": false,
355
+ "temperature": 0.0,
356
+ "max_gen_toks": 1024
357
+ },
358
+ "repeats": 1,
359
+ "should_decontaminate": false,
360
+ "metadata": {
361
+ "version": 3.0,
362
+ "base_url": "http://localhost:8000/v1/chat/completions",
363
+ "model": "devstral",
364
+ "num_concurrent": 1
365
+ }
366
+ },
367
+ "leaderboard_math_prealgebra_hard": {
368
+ "task": "leaderboard_math_prealgebra_hard",
369
+ "dataset_path": "DigitalLearningGmbH/MATH-lighteval",
370
+ "dataset_name": "prealgebra",
371
+ "training_split": "train",
372
+ "test_split": "test",
373
+ "process_docs": "def process_docs(dataset: datasets.Dataset) -> datasets.Dataset:\n def _process_doc(doc: dict) -> dict:\n out_doc = {\n \"problem\": doc[\"problem\"],\n \"solution\": doc[\"solution\"],\n \"answer\": remove_boxed(last_boxed_only_string(doc[\"solution\"])),\n }\n if getattr(doc, \"few_shot\", None) is not None:\n out_doc[\"few_shot\"] = True\n return out_doc\n\n return dataset.filter(lambda x: x[\"level\"] == \"Level 5\").map(_process_doc)\n",
374
+ "doc_to_text": "def doc_to_text(doc: dict) -> str:\n return \"Problem:\" + \"\\n\" + doc[\"problem\"] + \"\\n\\n\" + \"Solution:\"\n",
375
+ "doc_to_target": "{{answer if few_shot is undefined else solution}}",
376
+ "unsafe_code": false,
377
+ "process_results": "def process_results(doc: dict, results: List[str]) -> Dict[str, int]:\n candidates = results[0]\n parsed_candidate = parse(candidates)\n parsed_answer = parse(doc[\"solution\"], extraction_config=[LatexExtractionConfig()])\n if verify(parsed_answer, parsed_candidate):\n retval = 1\n else:\n retval = 0\n\n try:\n original = process_result_v1(doc, candidates)\n except: # noqa: E722\n original = 0\n\n output = {\n \"exact_match\": retval,\n \"exact_match_original\": original,\n }\n return output\n",
378
+ "description": "",
379
+ "target_delimiter": " ",
380
+ "fewshot_delimiter": "\n\n",
381
+ "fewshot_config": {
382
+ "sampler": "first_n",
383
+ "split": null,
384
+ "process_docs": "<function process_docs at 0x77381091b4c0>",
385
+ "fewshot_indices": null,
386
+ "samples": "<function list_fewshot_samples at 0x77380f75e480>",
387
+ "doc_to_text": "<function doc_to_text at 0x77380f75db20>",
388
+ "doc_to_choice": null,
389
+ "doc_to_target": "{{answer if few_shot is undefined else solution}}",
390
+ "gen_prefix": null,
391
+ "fewshot_delimiter": "\n\n",
392
+ "target_delimiter": " "
393
+ },
394
+ "num_fewshot": 0,
395
+ "metric_list": [
396
+ {
397
+ "metric": "exact_match",
398
+ "aggregation": "mean",
399
+ "higher_is_better": true
400
+ },
401
+ {
402
+ "metric": "exact_match_original",
403
+ "aggregation": "mean",
404
+ "higher_is_better": true
405
+ }
406
+ ],
407
+ "output_type": "generate_until",
408
+ "generation_kwargs": {
409
+ "until": [
410
+ "Problem:"
411
+ ],
412
+ "do_sample": false,
413
+ "temperature": 0.0,
414
+ "max_gen_toks": 1024
415
+ },
416
+ "repeats": 1,
417
+ "should_decontaminate": false,
418
+ "metadata": {
419
+ "version": 3.0,
420
+ "base_url": "http://localhost:8000/v1/chat/completions",
421
+ "model": "devstral",
422
+ "num_concurrent": 1
423
+ }
424
+ },
425
+ "leaderboard_math_precalculus_hard": {
426
+ "task": "leaderboard_math_precalculus_hard",
427
+ "dataset_path": "DigitalLearningGmbH/MATH-lighteval",
428
+ "dataset_name": "precalculus",
429
+ "training_split": "train",
430
+ "test_split": "test",
431
+ "process_docs": "def process_docs(dataset: datasets.Dataset) -> datasets.Dataset:\n def _process_doc(doc: dict) -> dict:\n out_doc = {\n \"problem\": doc[\"problem\"],\n \"solution\": doc[\"solution\"],\n \"answer\": remove_boxed(last_boxed_only_string(doc[\"solution\"])),\n }\n if getattr(doc, \"few_shot\", None) is not None:\n out_doc[\"few_shot\"] = True\n return out_doc\n\n return dataset.filter(lambda x: x[\"level\"] == \"Level 5\").map(_process_doc)\n",
432
+ "doc_to_text": "def doc_to_text(doc: dict) -> str:\n return \"Problem:\" + \"\\n\" + doc[\"problem\"] + \"\\n\\n\" + \"Solution:\"\n",
433
+ "doc_to_target": "{{answer if few_shot is undefined else solution}}",
434
+ "unsafe_code": false,
435
+ "process_results": "def process_results(doc: dict, results: List[str]) -> Dict[str, int]:\n candidates = results[0]\n parsed_candidate = parse(candidates)\n parsed_answer = parse(doc[\"solution\"], extraction_config=[LatexExtractionConfig()])\n if verify(parsed_answer, parsed_candidate):\n retval = 1\n else:\n retval = 0\n\n try:\n original = process_result_v1(doc, candidates)\n except: # noqa: E722\n original = 0\n\n output = {\n \"exact_match\": retval,\n \"exact_match_original\": original,\n }\n return output\n",
436
+ "description": "",
437
+ "target_delimiter": " ",
438
+ "fewshot_delimiter": "\n\n",
439
+ "fewshot_config": {
440
+ "sampler": "first_n",
441
+ "split": null,
442
+ "process_docs": "<function process_docs at 0x773810eca480>",
443
+ "fewshot_indices": null,
444
+ "samples": "<function list_fewshot_samples at 0x7738109180e0>",
445
+ "doc_to_text": "<function doc_to_text at 0x773810906b60>",
446
+ "doc_to_choice": null,
447
+ "doc_to_target": "{{answer if few_shot is undefined else solution}}",
448
+ "gen_prefix": null,
449
+ "fewshot_delimiter": "\n\n",
450
+ "target_delimiter": " "
451
+ },
452
+ "num_fewshot": 0,
453
+ "metric_list": [
454
+ {
455
+ "metric": "exact_match",
456
+ "aggregation": "mean",
457
+ "higher_is_better": true
458
+ },
459
+ {
460
+ "metric": "exact_match_original",
461
+ "aggregation": "mean",
462
+ "higher_is_better": true
463
+ }
464
+ ],
465
+ "output_type": "generate_until",
466
+ "generation_kwargs": {
467
+ "until": [
468
+ "Problem:"
469
+ ],
470
+ "do_sample": false,
471
+ "temperature": 0.0,
472
+ "max_gen_toks": 1024
473
+ },
474
+ "repeats": 1,
475
+ "should_decontaminate": false,
476
+ "metadata": {
477
+ "version": 3.0,
478
+ "base_url": "http://localhost:8000/v1/chat/completions",
479
+ "model": "devstral",
480
+ "num_concurrent": 1
481
+ }
482
+ }
483
+ },
484
+ "versions": {
485
+ "leaderboard_math_algebra_hard": 3.0,
486
+ "leaderboard_math_counting_and_prob_hard": 3.0,
487
+ "leaderboard_math_geometry_hard": 3.0,
488
+ "leaderboard_math_hard": null,
489
+ "leaderboard_math_intermediate_algebra_hard": 3.0,
490
+ "leaderboard_math_num_theory_hard": 3.0,
491
+ "leaderboard_math_prealgebra_hard": 3.0,
492
+ "leaderboard_math_precalculus_hard": 3.0
493
+ },
494
+ "n-shot": {
495
+ "leaderboard_math_algebra_hard": 0,
496
+ "leaderboard_math_counting_and_prob_hard": 0,
497
+ "leaderboard_math_geometry_hard": 0,
498
+ "leaderboard_math_intermediate_algebra_hard": 0,
499
+ "leaderboard_math_num_theory_hard": 0,
500
+ "leaderboard_math_prealgebra_hard": 0,
501
+ "leaderboard_math_precalculus_hard": 0
502
+ },
503
+ "higher_is_better": {
504
+ "leaderboard_math_algebra_hard": {
505
+ "exact_match": true,
506
+ "exact_match_original": true
507
+ },
508
+ "leaderboard_math_counting_and_prob_hard": {
509
+ "exact_match": true,
510
+ "exact_match_original": true
511
+ },
512
+ "leaderboard_math_geometry_hard": {
513
+ "exact_match": true,
514
+ "exact_match_original": true
515
+ },
516
+ "leaderboard_math_hard": {
517
+ "exact_match": true,
518
+ "exact_match_original": true
519
+ },
520
+ "leaderboard_math_intermediate_algebra_hard": {
521
+ "exact_match": true,
522
+ "exact_match_original": true
523
+ },
524
+ "leaderboard_math_num_theory_hard": {
525
+ "exact_match": true,
526
+ "exact_match_original": true
527
+ },
528
+ "leaderboard_math_prealgebra_hard": {
529
+ "exact_match": true,
530
+ "exact_match_original": true
531
+ },
532
+ "leaderboard_math_precalculus_hard": {
533
+ "exact_match": true,
534
+ "exact_match_original": true
535
+ }
536
+ },
537
+ "n-samples": {
538
+ "leaderboard_math_algebra_hard": {
539
+ "original": 307,
540
+ "effective": 307
541
+ },
542
+ "leaderboard_math_counting_and_prob_hard": {
543
+ "original": 123,
544
+ "effective": 123
545
+ },
546
+ "leaderboard_math_geometry_hard": {
547
+ "original": 132,
548
+ "effective": 132
549
+ },
550
+ "leaderboard_math_intermediate_algebra_hard": {
551
+ "original": 280,
552
+ "effective": 280
553
+ },
554
+ "leaderboard_math_num_theory_hard": {
555
+ "original": 154,
556
+ "effective": 154
557
+ },
558
+ "leaderboard_math_prealgebra_hard": {
559
+ "original": 193,
560
+ "effective": 193
561
+ },
562
+ "leaderboard_math_precalculus_hard": {
563
+ "original": 135,
564
+ "effective": 135
565
+ }
566
+ },
567
+ "config": {
568
+ "model": "local-chat-completions",
569
+ "model_args": {
570
+ "base_url": "http://localhost:8000/v1/chat/completions",
571
+ "model": "devstral",
572
+ "num_concurrent": 1
573
+ },
574
+ "batch_size": "1",
575
+ "batch_sizes": [],
576
+ "device": "cuda:0",
577
+ "use_cache": null,
578
+ "limit": 500.0,
579
+ "bootstrap_iters": 100000,
580
+ "gen_kwargs": {},
581
+ "random_seed": 0,
582
+ "numpy_seed": 1234,
583
+ "torch_seed": 1234,
584
+ "fewshot_seed": 1234
585
+ },
586
+ "git_hash": null,
587
+ "date": 1776259937.910414,
588
+ "pretty_env_info": "N/A (torch not installed)",
589
+ "transformers_version": "N/A",
590
+ "lm_eval_version": "0.4.11",
591
+ "upper_git_hash": null,
592
+ "task_hashes": {
593
+ "leaderboard_math_algebra_hard": "f502f4e54c73dc4380b660c8ac770bbffa9da9c5d9be8d207504818e02ea72d2",
594
+ "leaderboard_math_counting_and_prob_hard": "ba9cca223890ed35e5a58cb92291243d8e958074d9b28e058e06e5d6edb471f4",
595
+ "leaderboard_math_geometry_hard": "20f9c4fbd59977383a679ab91ed2a4b52784bfc63bb01336b14022f148f0d3c7",
596
+ "leaderboard_math_intermediate_algebra_hard": "cc53697424ad5d3d04f874c5db5a0681320796c06db79c3ac036b6894b6d8a95",
597
+ "leaderboard_math_num_theory_hard": "c3e042ba212294c4672c0972cbd2f93afc4f59a9e3fbc38b076c7c76257c33dc",
598
+ "leaderboard_math_prealgebra_hard": "de7a926c6ca2898d3df2dda36b485b3287c5c3af36f3f1b2b300bb11da7d3bee",
599
+ "leaderboard_math_precalculus_hard": "1501f3af918c1fc4c099cdf133f7e77b7b492691362f3f8a0a6323ac5757339f"
600
+ },
601
+ "model_source": "local-chat-completions",
602
+ "model_name": "devstral",
603
+ "model_name_sanitized": "devstral",
604
+ "system_instruction": null,
605
+ "system_instruction_sha": null,
606
+ "fewshot_as_multiturn": true,
607
+ "chat_template": "",
608
+ "chat_template_sha": null,
609
+ "total_evaluation_time_seconds": "11544.726048459765"
610
+ }