Mathematics
LLMs-Lean historical evaluations of miniF2F and miniCTX
Published historical round-level Lean-verifier assessments for seven model labels on existing miniF2F and miniCTX tasks; this collection does not introduce a new task benchmark.
588items
120subjects
No license declaration in the captured historical repository; original miniF2F and miniCTX terms also apply.license
mathematicsdomain
reasoningdomain
textmodality
item-level responses released
Saturation status: No
Response matrix
Loading response matrix…
Correct (1)Incorrect (0)Unobserved
Scale: 1 = correct · 0 = incorrect