Who verifies the verifier? Notes on DeepMind's formal proof-search paper(korbonits.com)
korbonits.com
Who verifies the verifier? Notes on DeepMind's formal proof-search paper
https://korbonits.com/blog/2026-05-28-who-verifies-the-verifier/
https://korbonits.com/blog/2026-05-28-who-verifies-the-verifier/