From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs

Jialun Cao | Yaojie Lu | Meiziniu Li | Haoyang Ma | Haokun Li | Mengda He | Cheng Wen | Le Sun | Hongyu Zhang | Shengchao Qin | Shing-Chi Cheung | Cong Tian |