MeMoDecode：面向一致 DSL 生成的元模型引导 LLM 解码框架

MeMoDecode 是一个在解码阶段同时约束 DSL 具体语法、抽象语法与良构性约束的框架，当 LLM 生成完整元模型概念时增量映射为部分模型并验证其可完成性。在 4 种 DSL 和 6 个 0.6B 至 70B 参数的开源 LLM 上，其一致性平均比无约束解码高 23%、比语法约束解码高 8%，同时提升基准表现且运行时开销有限。