TY  - RPRT
TI  - From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
AU  - Jialun Cao
AU  - Yaojie Lu
AU  - Meiziniu Li
AU  - Haoyang Ma
AU  - Haokun Li
AU  - Mengda He
AU  - Cheng Wen
AU  - Le Sun
AU  - Hongyu Zhang
AU  - Shengchao Qin
AU  - Shing-Chi Cheung
AU  - Cong Tian
PY  - 2025
UR  - https://arxiv.org/abs/2501.16207
ID  - 2501.16207
ER  -