math benchmark
TheoremQA Leaderboard
TheoremQA is a theorem-driven question answering dataset with 800 questions covering 350+ theorems from Math, Physics, EE&CS, and Finance.
Updated Sep 5, 2026
Models6
Model coverage6
MetricScore
EvidenceB
TheoremQA Ranking
Higher score ranks better on this benchmark.
Sort by
Rank | Model | Score | Percentile | Participants | Evidence | Evaluated |
|---|
| Rank01 | ModelAC | Score44.40% | Percentile100.00% | Participants6 | EvidenceC | Evaluated |
| Rank02 | ModelAC | Score44.10% | Percentile80.00% | Participants6 | EvidenceC | Evaluated |
| Rank03 | ModelAC | Score43.10% | Percentile60.00% | Participants6 | EvidenceC | Evaluated |
| Rank04 | ModelAC | Score43.00% | Percentile40.00% | Participants6 | EvidenceC | Evaluated |
| Rank05 | ModelAC | Score34.00% | Percentile20.00% | Participants6 | EvidenceC | Evaluated |
| Rank06 | ModelAC | Score25.30% | Percentile0.00% | Participants6 | EvidenceC | Evaluated |
TheoremQA Highlights
The leading models and scores on this benchmark.
TheoremQA Score Distribution
A closer view of the leading scores on this benchmark.
The Top AI Models for TheoremQA
The first five results on this benchmark, with official price and output speed added where the model identity can be matched.
What is TheoremQA?
What TheoremQA measures and how its scores work.
TheoremQA is a dataset for evaluating AI models on university-level science problems that require applying theorems.
It measures AI models' capabilities to apply theorems to solve challenging university-level science problems, reported as a Score in ratio units.
Scores are shown in ratio. This benchmark is not independently verified and has an evidence level of B.
- Family
- TheoremQA
- Modality
- text
- Primary category
- math
- Score direction
- higher
- LLMBoard eligible
- No
- Evaluation key
- overall
LLM Stats. Benchmark scores retain their original unit. Overall score eligibility is shown separately.
FAQ
Common questions about TheoremQA.
Which model scores highest on TheoremQA?
Qwen2 72B Instruct is currently ranked first with 44.40%.
What are the top three models on TheoremQA?
The current leaders are Qwen2 72B Instruct (44.40%), Qwen2.5 32B Instruct (44.10%), and Qwen2.5-Coder 32B Instruct (43.10%).
Which TheoremQA model has the lowest official input price?
Qwen2.5-Coder 7B Instruct has the lowest matched official input price at $0.14 input / $0.29 output per 1M tokens.
Which models are fastest among TheoremQA results?
The fastest matched records are Qwen2.5-Coder 32B Instruct (44.00 tok/s via DeepInfra).
Does the highest score result prove overall model quality?
No. This benchmark measures one defined capability or task. The overall LLMBoard score uses a separate aggregation across eligible benchmark evidence.