ResearchTasksTheorem Question AnsweringFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedThmQATeacher26.12Pass@115May 27, 2026TheoremQA standard (test)Ours (theory-guided context selection strategy)56Accuracy12Feb 26, 2026TheoremQA (test)DS-R1-Distill-Qwen-14B + Meta-Reasoner87.4Accuracy8May 8, 2026