Carolina Carreira, Álvaro F. Silva, Alexandre Abreu, Alexandra Mendes. Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny. In Domenico Bianculli, Elena Gómez-Martínez, editors, Software Engineering and Formal Methods - 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings. Volume 16192 of Lecture Notes in Computer Science, pages 203-220, Springer, 2025. [doi]
Abstract is missing.