Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs

Valentina Wu, Alexandra Mendes, Alexandre Abreu

Debugging and repairing faults when programs fail to formally verify can be complex and time-consuming. Automated Program Repair (APR) can ease this burden by automatically identif…