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

Putnam dataset and benchmarks · SOTA2 Research

Research Datasets

Putnam

Benchmarks

Task NameDataset NameSOTA MethodSort

Task NameDataset NameSOTA ResultTrendResults

Automated Formal Theorem Proving

Putnam 2025

1,220Average Score

28

Formal Theorem Proving

Putnam 2025

110Proof Lines

12

Theorem Proving

Putnam 2025 (full)

631Problem A1 Score

8

Mathematical Reasoning

Putnam

43.34Score

6

Formal Theorem Proving

Putnam 2025

100Overall Success Rate

5

Formal proof refactoring

Putnam 12 problems 2025

4.27Average Score

2

Mathematical Problem Solving

Putnam 2024

98.3Points

1

Popular tasks

Formal Theorem Proving Mathematical Reasoning Theorem Proving Mathematical Problem Solving Automated Formal Theorem Proving

Follow for updates

Join SOTA2 Contact