Propose, Solve, Verify: Self-Play Through Formal Verification #1 Post by imakwana » Mon, Dec 29, 2025, 5:34 PM UTC Propose, Solve, Verify: Self-Play Through Formal Verificationarxiv.org