List your company

ResearchFormerly WizWand

PeanoBench

Benchmarks

TaskDatasetSOTA resultTrendResults

Next Step Generation

PeanoBench 21 incorrect proofs

3.7Accuracy

4

Hint/Question Generation

PeanoBench 21 incorrect proofs

3.7Accuracy

4

Error Identification

PeanoBench 21 incorrect proofs

3.4Accuracy

4