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