ResearchTasksSTEM Theorem Question AnsweringFor AI assistantsMarkdownContent indexSTEM Theorem Question AnsweringFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedTheoremQATTS4.4Acceptance Length12May 12, 2026