Le Zhu

Tsinghua University

Tsinghua AI

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Constitutional AI & AI Ethics (1)

Frequent co-authors

Ran Wei (1)Haochi Wang (1)Jim Woodcock (1)Fang Yan (1)

Papers (1)

Jun 21, 2026

Lancaster University3w ago·also Tsinghua AI, HIT, Southwest U, University of York

Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering

Forge transforms LLM-generated code into safety-critical software by seamlessly integrating formal verification, paving the way for certification in regulated environments.

Ran Wei, Le Zhu, Haochi Wang +4

Code Generation & Program Synthesis Constitutional AI & AI Ethics

Search

Le Zhu

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)