h1: A Taste of the Bitter Lesson in Automated Theorem Proving Paper • 2610.35962 • Published 11 days ago • 20
Teaching Models to Teach Themselves: Reasoning at the Edge of Learnability Paper • 2601.18778 • Published Jan 26 • 40