Who verifies the verifier? Notes on DeepMind's formal proof-search paper korbonits.com 1 point by korbonits 18 hours ago