A arxiv.org Propose, Solve, Verify: Self-Play Through Formal Verification 2 points imakwana 10 months ago 0 comments