Who verifies the verifier? Notes on DeepMind's formal proof-search paper
1 points
2 hours ago
| 0 comments
| korbonits.com
| HN
No one has commented on this post.