Alexandre Abreu | VeriFixer Projecthttps://verifixer.github.io/author/alexandre-abreu/Alexandre AbreuHugo Blox Builder (https://hugoblox.com)en-usSun, 07 Sep 2025 00:00:00 +0000https://verifixer.github.io/media/icon_hu7058158995025993571.pngAlexandre Abreuhttps://verifixer.github.io/author/alexandre-abreu/Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafnyhttps://verifixer.github.io/publication/2025/sefm_dafnystudy/Sun, 07 Sep 2025 00:00:00 +0000https://verifixer.github.io/publication/2025/sefm_dafnystudy/Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMshttps://verifixer.github.io/publication/2025/sefm_repair/Sun, 07 Sep 2025 00:00:00 +0000https://verifixer.github.io/publication/2025/sefm_repair/