Álvaro F. Silva, Alexandra Mendes, João F. Ferreira 0001. Leveraging Large Language Models to Boost Dafny's Developers Productivity. In Nico Plat, Stefania Gnesi, Carlo A. Furia, Antónia Lopes, editors, Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal, April 14-15, 2024. pages 138-142, ACM, 2024. [doi]
Abstract is missing.