ResearchDatasetsFormalgeo7kFormalgeo7kFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsMulti-step theorem predictionFormalGeo7K (test)89.29Total Accuracy17TextCDL GenerationFormalgeo7k v2 (test)99.1Recall7ImgCDL GenerationFormalgeo7k v2 (test)97Recall4