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

 (arxiv.org)

1 points | by matt_d 4 hours ago

0 comments