@misc{indiciae513a61f67648,
  title = {From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs},
  author = {Jialun Cao and Yaojie Lu and Meiziniu Li and Haoyang Ma and Haokun Li and Mengda He and Cheng Wen and Le Sun and Hongyu Zhang and Shengchao Qin and Shing-Chi Cheung and Cong Tian},
  year = {2025},
  url = {https://arxiv.org/abs/2501.16207},
  note = {Source identifier: 2501.16207}
}