TY  - RPRT
TI  - LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification
AU  - Zhipeng Cao
AU  - Peiyang Song
AU  - Nikolaus Vertovec
AU  - Weiru Cui
AU  - Zhihao Yang
AU  - Mingkang Liu
AU  - Luxia Lin
AU  - Bai Xue
AU  - Alessandro Abate
PY  - 2026
UR  - https://arxiv.org/abs/2610.30524
ID  - 2610.30524
ER  -