h1: A Taste of the Bitter Lesson in Automated Theorem Proving

By Skander Moalla, Ahmad Rammal, Niket Patel, Remi Munos, Julia Kempe

· HF Daily Papers · Oct 25, 2026