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. Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 2025.
Authors
- Cong Tian (ORCID: https://orcid.org/0000-0002-5429-4580)
- Shing-Chi Cheung (ORCID: https://orcid.org/0000-0002-3508-7172)
- Shengchao Qin (ORCID: https://orcid.org/0000-0003-3028-8191)
- Jialun Cao (ORCID: https://orcid.org/0000-0003-4892-6294)
- Meiziniu Li
- Haoyang Ma (ORCID: https://orcid.org/0000-0002-7411-9288)
- Mengda He (ORCID: https://orcid.org/0000-0002-1303-2760)
- Hongyu Zhang (ORCID: https://orcid.org/0000-0002-3063-9425)
- Le Sun (ORCID: https://orcid.org/0000-0003-2696-7140)
- Haokun Li (ORCID: https://orcid.org/0000-0001-6411-9324)
- Yaojie Lu (ORCID: https://orcid.org/0000-0002-5842-7715)
- Cheng Wen
Publication Details
- Published
- 2025-01-01
- DOI
- https://doi.org/10.18653/v1/2025.acl-long.1310
- Citations
- 5
- Primary Topic
- Natural Language Processing Techniques
- Type
- article
- Field-Weighted Citation Impact
- 12.40
Funders
- National Natural Science Foundation of China