ResearchBenchmarksError Identification on PeanoBench 21 incorrect proofsFollow3.4AccuracyBaseline3.233.3153.43.485Jun 10, 2025Jul 18, 2025Aug 25, 2025Oct 2, 2025Nov 9, 2025Dec 17, 2025Jan 24, 2026Evaluation ResultsMethodMethodLinksAccuracyRelevanceReadabilityAnswer LeakageBaselineFeedback Type=Error Id...Feedback Type=Error Identification2026.013.43.54.54.6LeanTutorFeedback Type=Error Id...Feedback Type=Error Identification2026.013.43.84.34.5BaselineFeedback Type=Error Id...Feedback Type=Error Identification2025.063.43.54.54.6LeanTutorFeedback Type=Error Id...Feedback Type=Error Identification2025.063.43.84.34.5