ResearchDatasetsFuture Theorem PredictionFuture Theorem PredictionFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsTheorem GenerationFuture Theorem Prediction dataset (test)0.975Structure Score15