List your company

ResearchFormerly WizWand

LEAN-IMO-BENCH

Benchmarks

TaskDatasetSOTA resultTrendResults

Mathematical Theorem Proving

LEAN-IMO-BENCH (Advanced)

100Algebra Accuracy

5

Mathematical Theorem Proving

LEAN-IMO-BENCH Basic Set

100Algebra Score

5