ResearchDatasetsFormInvFormInvFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsMathematical ReasoningFormInv v1 (50 theorems, 366 items)96.4Accuracy9Mathematical ReasoningFormInv N=103 theorems v196.3Accuracy9