ResearchTasksTheorem-based Question AnsweringFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedTheoremQAMeta-reasoner86.32Accuracy13May 8, 2026