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

1 points | by matt_d 2 hours ago

No comments yet