@misc{indiciae3cf6c9ac8526,
  title = {h1: A Taste of the Bitter Lesson in Automated Theorem Proving},
  author = {Skander Moalla and Ahmad Rammal and Niket Patel and Remi Munos and Julia Kempe},
  year = {2026},
  url = {https://arxiv.org/abs/2610.35962},
  note = {Source identifier: 2610.35962}
}