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

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

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать. Препринт может ещё не пройти рецензирование; проверьте, появилась ли журнальная версия.