ResearchDatasetsCarlesonCarlesonFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsProof Node PruningCarleson1,963Review Cone9