@inproceedings{cao-etal-2025-informal,
    title = "From Informal to Formal {--} Incorporating and Evaluating {LLM}s on Natural Language Requirements to Verifiable Formal Proofs",
    author = "Cao, Jialun  and
      Lu, Yaojie  and
      Li, Meiziniu  and
      Ma, Haoyang  and
      Li, Haokun  and
      He, Mengda  and
      Wen, Cheng  and
      Sun, Le  and
      Zhang, Hongyu  and
      Qin, Shengchao  and
      Cheung, Shing-Chi  and
      Tian, Cong",
    editor = "Che, Wanxiang  and
      Nabende, Joyce  and
      Shutova, Ekaterina  and
      Pilehvar, Mohammad Taher",
    booktitle = "Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)",
    month = jul,
    year = "2025",
    address = "Vienna, Austria",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/ingestion-acl-25/2025.acl-long.1310/",
    pages = "26984--27003",
    ISBN = "979-8-89176-251-0"
}