h1: A Taste of the Bitter Lesson in Automated Theorem Proving
Paper • 2610.35962 • Published • 20
Pierre-Gabriel Berlureau
pgberlureau
·
AI & ML interests
None yet
Recent Activity
upvoted a paper 11 days ago
h1: A Taste of the Bitter Lesson in Automated Theorem Proving updated a Space 9 months ago
pgberlureau/text-adventure-template updated a model 10 months ago
LLM-course/chess-pgberlureau-v1Organizations
upvoted a paper 11 days ago