arXiv cs.CL· Jialiang Sun, Kuldeep Meel·· 9 小时前AI 评分27
NFA-LM：基于 HMM 的可证明可处理 NFA 约束语言生成
Provably Tractable NFA-Constrained Language Generation via HMMs
AI 导读
研究者提出 NFA-LM，一个面向 NFA 约束生成的多项式时间引擎，在温和假设下具备理论保证。该任务可归约为 #NFA 计数问题，而精确 #NFA 是 #P-complete，此前已有工作证明其存在 FPRAS。实验显示 NFA-LM 能高效生成高质量输出，且近似误差有理论界。
来源：arXiv cs.CL · arxiv.org