ResearchDatasetsAFPAFPFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsLemma DiscoveryAFP (test)42.7Success Rate46Lemma DiscoveryAFP Recent formalizations (Swap Distance, Linear Orders) 2026 (test)41.7Lemma Discovery Rate10
Lemma DiscoveryAFP Recent formalizations (Swap Distance, Linear Orders) 2026 (test)41.7Lemma Discovery Rate10