math benchmark
TheoremQA Leaderboard
A theorem-driven question answering dataset containing 800 high-quality questions covering 350+ theorems from Math, Physics, EE&CS, and Finance. Designed to evaluate AI models' capabilities to apply theorems to solve challenging university-level science problems.
Updated Aug 17, 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.4% | Percentile100.0% | Participants6 | EvidenceC | Evaluated |
| Rank02 | ModelAC | Score44.1% | Percentile80.0% | Participants6 | EvidenceC | Evaluated |
| Rank03 | ModelAC | Score43.1% | Percentile60.0% | Participants6 | EvidenceC | Evaluated |
| Rank04 | ModelAC | Score43.0% | Percentile40.0% | Participants6 | EvidenceC | Evaluated |
| Rank05 | ModelAC | Score34.0% | Percentile20.0% | Participants6 | EvidenceC | Evaluated |
| Rank06 | ModelAC | Score25.3% | Percentile0.0% | 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.
Ranking basisThis theoremqa AI model leaderboard uses descending score in the benchmark's original unit. The leaderboard ranking keeps matched price and speed data separate from benchmark evidence.
- 01ACQwen2 72B InstructAlibaba Cloud / Qwen Team
- Score
- 44.4%
Strengths
- Ranks #1 of 6 compared models
- 100th percentile on this benchmark
- C evidence result
Considerations
- This result measures TheoremQA, not total model capability
- 02ACQwen2.5 32B InstructAlibaba Cloud / Qwen Team
- Score
- 44.1%
- Price
- $0.70 input / $2.8 output per 1M tokens
Strengths
- Ranks #2 of 6 compared models
- 80th percentile on this benchmark
- C evidence result
Considerations
- This result measures TheoremQA, not total model capability
- 03ACQwen2.5-Coder 32B InstructAlibaba Cloud / Qwen Team
- Score
- 43.1%
- Speed
- Up to 110 tok/s via Fireworks
Strengths
- Ranks #3 of 6 compared models
- 60th percentile on this benchmark
- C evidence result
Considerations
- This result measures TheoremQA, not total model capability
- 04ACQwen2.5 14B InstructAlibaba Cloud / Qwen Team
- Score
- 43.0%
- Price
- $0.35 input / $1.4 output per 1M tokens
Strengths
- Ranks #4 of 6 compared models
- 40th percentile on this benchmark
- C evidence result
Considerations
- This result measures TheoremQA, not total model capability
- 05ACQwen2.5-Coder 7B InstructAlibaba Cloud / Qwen Team
- Score
- 34.0%
- Price
- $0.14 input / $0.29 output per 1M tokens
Strengths
- Ranks #5 of 6 compared models
- 20th percentile on this benchmark
- C evidence result
Considerations
- This result measures TheoremQA, not total model capability
Selection summary
Best AI Models for TheoremQA
Qwen2 72B Instruct currently leads TheoremQA with 44.4%. It is the top model on this specific benchmark, while the best LLM for the broader task should also be checked against other benchmarks, price and runtime.
Use this leaderboard with the supporting benchmark results and coverage details above. A leaderboard position summarizes the selected ranking signal; it does not replace workload-specific testing.
What is TheoremQA?
What TheoremQA measures and how its scores work.
A theorem-driven question answering dataset containing 800 high-quality questions covering 350+ theorems from Math, Physics, EE&CS, and Finance. Designed to evaluate AI models' capabilities to apply theorems to solve challenging university-level science problems.
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
- Yes
- Evaluation key
- theoremqa|llm-stats-current
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.4%.
What does TheoremQA measure?
A theorem-driven question answering dataset containing 800 high-quality questions covering 350+ theorems from Math, Physics, EE&CS, and Finance. Designed to evaluate AI models' capabilities to apply theorems to solve challenging university-level science problems.
Is a higher score better?
Yes. Higher values rank better for this benchmark.
How many models are compared?
6 model results are currently shown.
Does this benchmark affect the overall score?
Yes. This benchmark can contribute to the current LLMBoard capability score.