TY  - RPRT
TI  - Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
AU  - Valentina Wu
AU  - Alexandra Mendes
AU  - Alexandre Abreu
PY  - 2025
UR  - https://arxiv.org/abs/2507.03659
ID  - 2507.03659
ER  -