Who verifies the verifier? Notes on DeepMind's formal proof-search paper(korbonits.com)1 points by korbonits 33 days ago | 0 comments