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

 (arxiv.org)

2 points | by matt_d 12 hours ago ago

No comments yet.