LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification By Zhipeng Cao, Peiyang Song, Nikolaus Vertovec, Weiru Cui, Zhihao Yang · HF Daily Papers · Oct 21, 2026 HF Daily Papers' note score 5 Categories: Research