TY  - RPRT
TI  - Propose, Solve, Verify: Self-Play Through Formal Verification
AU  - Alex Wilf
AU  - Pranjal Aggarwal
AU  - Bryan Parno
AU  - Daniel Fried
AU  - Louis-Philippe Morency
AU  - Paul Pu Liang
AU  - Sean Welleck
PY  - 2025
UR  - https://arxiv.org/abs/2512.18160
ID  - 2512.18160
ER  -