ResearchDatasetsFormalMLFormalMLFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsTheorem ProvingFormalML Hard Level-395Solved Rate6Formal Theorem ProvingFormalML Hard11.2Proof Length6Automated Theorem ProvingFormalML-Hard (Machine Learning Theory) 1.0 (test)0.4Output Tokens (k)6