Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny.

Carolina Carreira, lvaro F. Silva, Alexandre Abreu, Alexandra Mendes

Browse the full SEFM paper archive.