ResearchDatasetsCTXCTXFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsProof OptimizationMiniCTX v2 (test)0.087Length11