[论文阅读] 人工智能+软件工程 | 用大语言模型架起软件需求形式化的桥梁arXiv:2506.14627 ACM Survey Draft on Formalising Software Requirements with Large Language Models Arshad Beg, Diarmuid O’Donoghue, Rosemary Monahan Comments: 22 pages. 6 summary tables Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI