ResearchTasksSpecification Generation in Geometry Formal LanguageSpecification Generation in Geometry Formal LanguageFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedPGDP5KPGDPNet99Likely Same (All)3Feb 26, 2026IMP-Geometry3KPGDPNet99.33All: Likely Same3Feb 26, 2026