Who verifies the verifier? Notes on DeepMind's formal proof-search paper

(korbonits.com) by korbonits | May 30, 2026 | 0 comments on HN