Haochi Wang
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Software Eng.×1Formal Lang.×1
Frequent co-authors
Research Timeline
2026
Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering
This paper presents Forge, a pipeline that uses formal verification to ensure the safety and certification of LLM-generated Java code.
Highlighted terms show continued research focus across papers
Papers
cs.SEcs.FLEmpiricalRecentJun 21, 2026
Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering
Ran Wei, Le Zhu, Haochi Wang, Jim Woodcock +3 more
This paper presents Forge, a pipeline that uses formal verification to ensure the safety and certification of LLM-generated Java code.
View →