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

Combibench dataset and benchmarks · SOTA2 Research

Research Datasets

Combibench

Benchmarks

Task NameDataset NameSOTA MethodSort

Task NameDataset NameSOTA ResultTrendResults

Formal Theorem Proving

Combibench

48Solve Rate

15

Theorem Proving

CombiBench

8Proof Length

13

Theorem Proving

CombiBench Combinatorics

27Solved Problems

13

Auto-formalization

CombiBench

97Pass@8

13

Statement generation

CombiBench N = 100

1CH@100

11

Theorem Proving

CombiBench

16pass@32

8

Automated Theorem Proving

CombiBench Easy Mode

10Solved Problems (Pass@32)

4

Autoformalization and Proving

CombiBench (N=100)

96Pass@64

4

Automated Theorem Proving

CombiBench Hard Mode

10Total Solved (Pass@32)

3

Popular tasks

Theorem Proving Automated Theorem Proving Formal Theorem Proving Autoformalization and Proving Statement generation

Follow for updates

Join SOTA2 Contact