Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs. - Valentina Wu; Alexandra Mendes; Alexandre Abreu (CoRR, 2025)