Propose, Solve, Verify: Self-Play Through Formal Verificationhttps://arxiv.org/abs/2512.18160 by imakwana • 7 months ago 2 0 7 months agoARarxiv.org