@misc{indiciae254058954168,
  title = {Do AI models help produce verified bug fixes?},
  author = {Li Huang and Ilgiz Mustafin and Marco Piccioni and Alessandro Schena and Reto Weber and Bertrand Meyer},
  year = {2025},
  url = {https://arxiv.org/abs/2507.15822},
  note = {Source identifier: 2507.15822}
}