ResearchDatasetsLean WorkbookLean WorkbookFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsFormal MathematicsLean-Workbook 2,500-problem (test)57.1PCR (%)9Theorem AutoformalizationLean Workbook3.67Objects Count1