@misc{indiciae0d257f14a4d1,
  title = {Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny},
  author = {Carolina Carreira and Álvaro Silva and Alexandre Abreu and Alexandra Mendes},
  year = {2025},
  url = {https://arxiv.org/abs/2506.22370},
  note = {Source identifier: 2506.22370}
}