ResearchDatasetsFormInvFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsMathematical ReasoningFormInv v1 (50 theorems, 366 items)96.4Accuracy9Mathematical ReasoningFormInv N=103 theorems v196.3Accuracy9