Who verifies the verifier? Notes on DeepMind's formal proof-search paper(korbonits.com)
1 pointby korbonits3 hours ago1 comment