AGDecode：语义约束解码框架

Rajan Maghera 等作者发布论文，提出 AGDecode——一个可编程的语义约束解码框架。该框架将属性文法扩展到部分构建的语法树，把语义约束解码归约为可满足性问题，并交由 SMT 与 CHC 求解器等外部验证 oracle 处理。 论文称其基于最小不动点语义实现语义约束解码。这是 arXiv cs.SE 上的论文，尚未见经同行评审验证的效果数据。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。