待验证50% 置信解决方案精确时间
Outlines 在推理前将约束预编译为 FSM，并将分词器词表与 FSM 每个状态做离线映射，推理时通过将非法 token 的 logits 设为负无穷（logits mask）实现硬约束
1
来源数
50%
置信度
长期有效
时效性
2026/7/22
首次发现
来源
相关事实
待验证Outlines 在推理前将约束预编译为 FSM，并将分词器完整词表与 FSM 每个状态离线映射生成状态到合法token集合的索引表79% 相似待验证Outlines 构建有限状态机（FSM），在每一步生成时动态屏蔽会导致格式非法的 token，只允许模型在合法 token 子集中采样74% 相似待验证Outlines 通过将正则表达式和 JSON Schema 编译为有限状态机（FSM），再映射到 LLM 分词器的词表空间来实现约束68% 相似待验证约束解码的底层实现依赖有限状态机（FSM）或上下文无关文法（CFG）68% 相似待验证语法约束解码的核心方法是在模型逐token生成输出过程中，利用上下文无关文法（CFG）过滤不合法的token选项，将不合法token的logits设为负无穷66% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/590127API
curl https://kongchang.com/api/v1/knowledge/claims/590127MCP
get_claim(id=590127)