Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Next Step Generation on PeanoBench 21 incorrect proofs
Loading...
3.7
Accuracy
LeanTutor
2.764
3.007
3.25
3.493
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
LeanTutor
Feedback Type=Next Step
2026.01
3.7
3.9
4.4
1.1
LeanTutor
Feedback Type=Next Step
2025.06
3.7
3.9
4.4
1.1
Baseline
Feedback Type=Next Step
2026.01
2.8
2.9
4.6
2.2
Baseline
Feedback Type=Next Step
2025.06
2.8
2.9
4.6
2.2
Feedback
Search any
task
Search any
task
