★ 3
PTC-Decoder：面向离线边缘设备的智能小模型
论文提出 PTC-Decoder，一种免训练、即插即用的解码框架，通过 Plan-to-Act 范式强制首步调用规划工具，并用确定性有限自动机对工具名施加 token 级硬约束。在 200 个真实遥感卫星任务、7 个 SLM 上取得显著平均分提升，但最终答案准确率仍是待解难题。
arXiv cs.AI34 天前
#约束解码
共 3 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 2
论文提出精确安全约束解码，改进药物推荐组合生成
研究针对生成式药物推荐中药物相互作用（DDI）约束依赖整体组合的问题，比较局部修复策略与基于混合整数线性规划的精确全局解码器。在 MIMIC-III 固定评分下，全局解码在各数据划分上 Jaccard 相似度均更高，约束越严格优势越明显。结果表明评分如何转化为受约束药物集合会实质影响最终预测。
arXiv cs.AI10 天前
★ 2
突破空间壁垒：结构化输出约束加速语言模型推理
论文研究语言模型结构化输出（JSON、工具调用）的格式约束问题，证明相关图问题可用极低内存判定，复杂度落在 ReachUL、LOGDCFL 等类中，空间低于 Savitch 定理的 O(log²n)。基于该构造的推理引擎在 Apple M2 Pro 上运行 Qwen3.5-2B/4B，schema…
arXiv cs.AI24 天前