2 papers
cs.SE2025
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…
cs.SE2025
Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
Carolina Carreira, Ãlvaro Silva, Alexandre Abreu +1
Students in computing education increasingly use large language models (LLMs) such as ChatGPT. Yet, the role of LLMs in supporting cognitively demanding tasks, like deductive progr…