List your company

ResearchFormerly WizWand

Combibench

Benchmarks

TaskDatasetSOTA 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