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
Abstract
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. Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 2025.
Topics & Concepts
Mathematical proofVerifiable secret sharingComputer scienceFormal methodsFormal verificationNatural languageFormal specificationObject languageNatural (archaeology)Programming languageRefinementComputer securityNatural language processingMathematicsHistoryArchaeologySet (abstract data type)GeometryNatural Language Processing Techniques