arXiv cs.SE· Rajan Maghera, Asher Tempest Arya, Aren A. Babikian, Marsha Chechik, Maryam Mehri Dehnavi·· 3 小时前AI 评分31
AGDecode：基于语义属性文法导数的 LLM 安全约束解码框架
AGDecode: Semantic Attribute Grammar Derivatives for Safety-Constrained Decoding of Large Language Models
AI 导读
AGDecode 是一个可编程的语义约束解码框架，将属性文法扩展到部分构建的语法树，把语义约束解码归约为可满足性问题，并交由 SMT 与 CHC 求解器等外部验证 oracle 处理。
来源：arXiv cs.SE · arxiv.org