TY  - RPRT
TI  - Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models
AU  - Ran Wei
AU  - Le Zhu
AU  - Haochi Wang
AU  - Ruizhe Yang
AU  - Jiapeng Guan
AU  - Siyuan Ji
AU  - Yuchen Hu
AU  - Zhe Jiang
AU  - Xiangyang Ji
PY  - 2026
UR  - https://arxiv.org/abs/2607.16708
ID  - 2607.16708
ER  -