待验证50% 置信事实精确时间
BRaVeS框架将SME定义的约束编码为不变锚点（invariant anchors），要求在整个推理过程中始终可见、不可逾越
1
来源数
50%
置信度
长期有效
时效性
2026/10/8
首次发现
来源
涉及实体
相关事实
待验证Outlines 在推理前将约束预编译为 FSM，并将分词器词表与 FSM 每个状态做离线映射，推理时通过将非法 token 的 logits 设为负无穷（logits mask）实现硬约束66% 相似待验证解码阶段的硬约束通过在token生成时屏蔽不合法词汇选项（logit masking或结构化采样）从物理层面保证输出符合预定义语法或schema61% 相似待验证Outlines、Guidance、LMQL是解码阶段硬约束方向的代表性实现库60% 相似待验证线稿控制被视为「硬约束」，因为它直接编码了轮廓边缘信息，模型生成时必须对齐这些边界59% 相似待验证可编程护栏允许开发者用规则、正则、语义判断甚至小模型来自定义拦截逻辑59% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/986766API
curl https://kongchang.com/api/v1/knowledge/claims/986766MCP
get_claim(id=986766)