Propose, Solve, Verify: Self-Play Through Formal Verification

2 points| imakwana | 2 months ago |arxiv.org