ResearchDatasetsDeepTheoremDeepTheoremFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsLemma JudgingDeepTheorem sampled perturbation (test)90.9Exact Match Accuracy12Theorem ProvingDeepTheorem54False Rate8