TY  - RPRT
TI  - h1: A Taste of the Bitter Lesson in Automated Theorem Proving
AU  - Skander Moalla
AU  - Ahmad Rammal
AU  - Niket Patel
AU  - Remi Munos
AU  - Julia Kempe
PY  - 2026
UR  - https://arxiv.org/abs/2610.35962
ID  - 2610.35962
ER  -