Alexandra Mendes
Alexandra Mendes
Home
Publications
Funded Projects & Service
Research Opportunities
Contact
Teaching
Projects
Alexandre Abreu
Latest
Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
Exploring Automatic Specification Repair in Dafny Programs
Cite
×