@misc{indiciae262e155be7cb,
  title = {LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification},
  author = {Zhipeng Cao and Peiyang Song and Nikolaus Vertovec and Weiru Cui and Zhihao Yang and Mingkang Liu and Luxia Lin and Bai Xue and Alessandro Abate},
  year = {2026},
  url = {https://arxiv.org/abs/2610.30524},
  note = {Source identifier: 2610.30524}
}