@misc{indiciaea4b2d1931704,
  title = {Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification},
  author = {Antonio Valerio Miceli Barone and Poon Tsz Nok},
  year = {2026},
  url = {https://arxiv.org/abs/2604.17010},
  note = {Source identifier: 2604.17010}
}