Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification. - Antonio Valerio Miceli Barone; Poon Tsz Nok (CoRR, 2026)