Who verifies the verifier? Notes on DeepMind's formal proof-search paper (korbonits.com) 1 points by korbonits 3mo ago ↗ HN
2 comments
[ 3.1 ms ] story [ 21.6 ms ] thread