ResearchDatasetsFormalgeoFormalgeoFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsGeometry problem solvingFormalgeo7k63.5Top-1 Accuracy17CDL GenerationFormalgeo Rec-CoT 1.0 (test)97.2Img CDL Recall10Plane Geometry Problem SolvingFormalgeo (test)0.857Accuracy10