TY  - RPRT
TI  - Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification
AU  - Antonio Valerio Miceli Barone
AU  - Poon Tsz Nok
PY  - 2026
UR  - https://arxiv.org/abs/2604.17010
ID  - 2604.17010
ER  -