Leveraging Large Language Models to Boost Dafny's Developers Productivity. - Álvaro F. Silva; Alexandra Mendes; João F. Ferreira 001 (FormaliSE@ICSE, 2024)

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny. - Carolina Carreira; Álvaro F. Silva; Alexandre Abreu; Alexandra Mendes (CoRR, 2025)