ResearchTasksequation_num. (deduce)equation_num. (deduce)FollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedThe benchmark (held-out slice)Python Solver Oracle95.1Accuracy6Jun 23, 2026