Haochi Wang

Identifiers

• name variant Haochi Wang 0.60 · backfill

Papers (2)

1. Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering cs.SE · 2026 · author #3
2. Towards an Extensible Model-Based Digital Twin Framework for Space Launch Vehicles cs.SE · 2024 · author #7

Mentions

• 2606.22413 #3 · arxiv_oai · confidence 0.70 Haochi Wang
• 2406.02222 #7 · arxiv_oai · confidence 0.70 Haochi Wang

Frequent Coauthors

• Ran Wei 2 shared papers
• Chongsheng Fan 1 shared papers
• Fang Yan 1 shared papers
• Jim Woodcock 1 shared papers
• Le Zhu 1 shared papers
• Rong Zhou 1 shared papers
• Ruizhe Yang 1 shared papers
• Shijun Liu 1 shared papers
• Simon Foster 1 shared papers
• Xiangyang Ji 1 shared papers
• Yifan Cai 1 shared papers
• Zekun Wu 1 shared papers
• Zhe Jiang 1 shared papers