ResearchDatasetsMathOlympiad-BenchMathOlympiad-BenchFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsTheorem-provingMathOlympiad-Bench46.7Pass@3216Auto-formalizationMathOlympiad-Bench99.2Pass@813