ResearchDatasetsAscoliAscoliFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsFormal proof size measurementAscoli general372Direct1