Verified100%Harbor adapterMath

TheoremQA

Theorem QA

TheoremQA: 定理应用推理

How to run

ltb · theoremqa
$ npm i -g lettokenburn-cli
$ ltb bench pull theoremqa --n 50
$ ltb bench run ./theoremqa -a claude-code -m anthropic/claude-opus-4-8
$ ltb bench push

Runs happen on your machine with your own subscription; only the score summary is pushed. CLI docs

Scores

8 sourced entries
HarnessSourceConfidenceLink
GPT-443.8N/AIndependentmediumMay 21, 2023arxiv.org
PaLM-2-unicorn31.8N/AIndependentmediumMay 21, 2023arxiv.org
GPT-3.5 Turbo30.2N/AIndependentmediumMay 21, 2023arxiv.org
Claude-v124.9N/AIndependentmediumMay 21, 2023arxiv.org
code-davinci-00223.9N/AIndependentmediumMay 21, 2023arxiv.org
Claude-instant23.6N/AIndependentmediumMay 21, 2023arxiv.org
text-davinci-00322.8N/AIndependentmediumMay 21, 2023arxiv.org
PaLM-2-bison21.0N/AIndependentmediumMay 21, 2023arxiv.org

Every number links to where it was published. Low-confidence rows are muted and need per-cell verification.

Reproduced by the community

All runs
Loading community runs…

About

TheoremQA (Theorem QA) — 定理应用推理. Scoring: 准确率. Difficulty: 高. Imported from benchmark_research.md (2026-06).