ResearchTasksPhysics Theorem ProofFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedOlympiadBench (test)F-1 (Ours)108Efficiency Ratio4Feb 26, 2026