@misc{indiciae5868dfdb4bcb,
  title = {Program Semantic Inequivalence Game with Large Language Models},
  author = {Antonio Valerio Miceli-Barone and Vaishak Belle and Ali Payani},
  year = {2026},
  url = {https://arxiv.org/abs/2505.03818},
  note = {Source identifier: 2505.03818}
}