ResearchDatasetsIsar n-ary tree consensus lemmasIsar n-ary tree consensus lemmasFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsFormal Theorem ProvingIsar n-ary tree consensus Individual Lemmas and Average100Success Rate68