Le Zhu

Identifiers

• name variant Le Zhu 0.60 · backfill

Papers (1)

1. Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering cs.SE · 2026 · author #2

Mentions

• 2606.22413 #2 · arxiv_oai · confidence 0.70 Le Zhu

Frequent Coauthors

• Fang Yan 1 shared papers
• Haochi Wang 1 shared papers
• Jim Woodcock 1 shared papers
• Ran Wei 1 shared papers
• Simon Foster 1 shared papers
• Xiangyang Ji 1 shared papers