大模型对齐与安全

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects

Arshad Beg, Diarmuid O'Donoghue, Rosemary Monahan

专题命中 其他安全 ：safety(abstract)

Comments Overlay2025 - 7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis. [Accepted]. To be held on 26th of October, 2025