Categories Companies Research

Loading the SOTA2 catalog…

Explore

Categories Companies Research

Contribute

Join SOTA2 Contact

SOTA2

© 2026 SOTA2

Build in Bellevue, USA

WizWand is now SOTA2 Research

Papers Benchmarks Datasets Tasks

Theorem QA dataset and benchmarks · SOTA2 Research

Research Datasets

Theorem QA

Benchmarks

Task NameDataset NameSOTA MethodSort

Task NameDataset NameSOTA ResultTrendResults

Scientific and General Reasoning

Theorem QA

55.75Pass@1

18

Scientific Reasoning

Theorem QA

60.6Pass@1

9

Question Answering

Theorem QA

31.1Score

5

Theorem QA

44.4Score

5

Scientific Reasoning

Theorem QA

66.4Scientific Reasoning QA Accuracy

3

Question Answering

Theorem QA v1 (test)

25.3Accuracy

3

Popular tasks

Question Answering Scientific Reasoning English Scientific and General Reasoning

Follow for updates

Join SOTA2 Contact