Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Error Identification on PeanoBench 21 incorrect proofs
Loading...
3.4
Accuracy
Baseline
3.23
3.315
3.4
3.485
Jun 10, 2025
Jul 18, 2025
Aug 25, 2025
Oct 2, 2025
Nov 9, 2025
Dec 17, 2025
Jan 24, 2026
Accuracy
Relevance
Readability
Answer Leakage
Updated 4mo ago
Evaluation Results
Method
Method
Links
Accuracy
Relevance
Readability
Answer Leakage
Baseline
Feedback Type=Error Id...
2026.01
3.4
3.5
4.5
4.6
LeanTutor
Feedback Type=Error Id...
2026.01
3.4
3.8
4.3
4.5
Baseline
Feedback Type=Error Id...
2025.06
3.4
3.5
4.5
4.6
LeanTutor
Feedback Type=Error Id...
2025.06
3.4
3.8
4.3
4.5
Feedback
Search any
task
Search any
task
