ResearchDatasetsFormalMLFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA 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