ResearchDatasetsFIMOFIMOFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsMathematical ReasoningFIMO18.03Score6Automated Theorem ProvingFIMO Easy Mode4Solved Problems (Pass@32)5Automated Theorem ProvingFIMO Hard Mode3Total Solved (Pass@32)2