ResearchDatasetsiset.mmiset.mmFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsTheorem Proving (Relevance Ranking)iset.mm (val)45.1Top-1 Accuracy2Theorem Proving (Substitution Network)iset.mm (val)0.255Probability2Theorem Provingiset.mm (test)398Proofs Found2