Formalizing Requirements into Dafny Specifications with LLMs. - Yi-Han Lu; Xue-Yang Zhu; Wenhui Zhang; Rongjie Yan (ICFEM, 2025)