Hacker News new | ask | show | jobs
Propose, Solve, Verify: Self-Play Through Formal Verification (arxiv.org)
2 points by imakwana 167 days ago