Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Hint/Question Generation on PeanoBench 21 incorrect proofs
Loading...
3.7
Accuracy
LeanTutor
3.076
3.238
3.4
3.562
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=Hint/Que...
2026.01
3.7
3.7
4.7
4.4
LeanTutor
Feedback Type=Hint/Que...
2025.06
3.7
3.7
4.7
4.4
Baseline
Feedback Type=Hint/Que...
2026.01
3.1
2.9
4.7
4.3
Baseline
Feedback Type=Hint/Que...
2025.06
3.1
2.9
4.7
4.3
Feedback
Search any
task
Search any
task
