Haochi Wang

1. Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models
   2026/07/18 by Ran Wei, Le Zhu, Haochi Wang +6
   #cs.SE