From the 1 of 1 linked paper with an AI index.
1 paper
Chance LaVoie, Eladio Andujar Lugo, Taylan G. Topcu +1
The paper introduces a conformance‑checker‑driven framework that iteratively translates natural‑language descriptions into SysMLv2 models, using a generate‑check‑repair loop to ens…