Forge pipeline combines LLM code generation with MDE transformations to produce verifiable artifacts in Dafny, CSP, and Isabelle, iterating on failures to generate standards-relevant evidence for Java code.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.SE 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
Few-shot prompting improves syntactic validity of LLM-generated code across ATL, ETL, QVTo, and Reactions, but semantic correctness gains remain uneven and language-dependent.
citing papers explorer
-
Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering
Forge pipeline combines LLM code generation with MDE transformations to produce verifiable artifacts in Dafny, CSP, and Isabelle, iterating on failures to generate standards-relevant evidence for Java code.
-
LLM4MTLs: Automated Generation and Empirical Evaluation of Model Transformation Languages
Few-shot prompting improves syntactic validity of LLM-generated code across ATL, ETL, QVTo, and Reactions, but semantic correctness gains remain uneven and language-dependent.