ResearchDatasetsCompfilesCompfilesFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsProof optimization (Mixed)Compfiles20.6Improvement2Proof optimization (Declarativity)Compfiles5.74Improvement2Proof optimization (Length)Compfiles18.86Improvement2