TY  - RPRT
TI  - Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
AU  - Carolina Carreira
AU  - Álvaro Silva
AU  - Alexandre Abreu
AU  - Alexandra Mendes
PY  - 2025
UR  - https://arxiv.org/abs/2506.22370
ID  - 2506.22370
ER  -