ResearchDatasetsHAGeo-409FollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsGeometry Theorem ProvingHAGeo-409 (Level 3-4)93Solved Count5