ResearchDatasetsHS CompetitionHS CompetitionFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsAutomated Theorem ProvingHS Competition Plane Geometry 1.0 (test)0.16Thousands of Output Tokens6Formal Theorem ProvingHS Competition (10)17.8Proof Length5