ResearchDatasetsWriting sessionsWriting sessionsFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsProof generationWriting sessions5.8Proof Generation Time (s)3