ResearchDatasetsFuture Theorem PredictionFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsTheorem GenerationFuture Theorem Prediction dataset (test)0.975Structure Score15