Boqi Chen, Aren A. Babikian, José Antonio Hernández López · 2026 · arXiv
DOI: 10.48550/arXiv.2610.29749 · open-access PDF
大型言語モデル(LLMs)は、ドメイン特有言語(DSLs)で書かれたソフトウェアエンジニアリングアーティファクトを生成するためにますます使用されています。正しいDSLインスタンスは、通常、コンクリートシンタクスだけでなく、メタモデルによって定義された抽象シンタクスも、セマンティックの良好な形状の制約に加えられています。既存の制約されたデコードアプローチは、通常、コンクリートシンタクスのみまたは生成されたテキスト上に表現される制約の限られたセットに従うことを保証し、メタモデルレベルの制約の一貫性を生成中に強制することは困難です。
Machine translation (Meta M2M100); the English original follows.
Large language models (LLMs) are increasingly used to generate software engineering artifacts written in domain-specific languages (DSLs). Correct DSL instances usually must comply with not only the concrete syntax but also the abstract syntax defined by a metamodel augmented with semantic well-formedness constraints. Existing constrained decoding approaches typically guarantee compliance only with concrete syntax or with a limited set of semantic constraints expressed over the generated text, making metamodel-level constraint consistency difficult to enforce during generation. We present MeMo
Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese
GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.29749, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txtSources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange