Live page · Day archive

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

Read the original at arXiv

Summary

From arXiv.

Carried by: arXiv, HF Daily Papers. First seen: .