ResearchTasksMathematical FormalizationMathematical FormalizationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedPutnamBench 672 problemsMathesis-7B63C@18Apr 16, 2026Gaokao-Formal 495 problemsKimina-7B84.2Correctness @18Apr 16, 2026Total long-form Combined Corpora (aggregate)M2F1,043Blocks1Feb 26, 2026Paper long-formM2F67Blocks1Feb 26, 2026Convex Analysis long-form Sec. 1–15 RockafellarM2F560Blocks1Feb 26, 2026Real Analysis long-form LeblM2F416Blocks1Feb 26, 2026