ResearchTasksTextCDL GenerationTextCDL GenerationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedFormalgeo7k v2 (test)MLLM Interpreter99.1Recall7Feb 26, 2026