PeanoBench
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Next Step Generation | PeanoBench 21 incorrect proofs | Accuracy3.7 | 4 | |
| Hint/Question Generation | PeanoBench 21 incorrect proofs | Accuracy3.7 | 4 | |
| Error Identification | PeanoBench 21 incorrect proofs | Accuracy3.4 | 4 |
Showing 3 of 3 rows