@misc{indiciae70e191ef9c91,
  title = {Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs},
  author = {Valentina Wu and Alexandra Mendes and Alexandre Abreu},
  year = {2025},
  url = {https://arxiv.org/abs/2507.03659},
  note = {Source identifier: 2507.03659}
}