List your company

ResearchFormerly WizWand

Number Theory

Benchmarks

TaskDatasetSOTA resultTrendResults

number theory problem solving

number theory

92.59Accuracy

24

Formal Theorem Proving

Number Theory

2.51PutnamBench

13