待验证50% 置信事实精确时间
Outlines 推理时将非法 token 对应的 logits 设为负无穷，使其经 softmax 后概率趋近于零，实现硬约束
1
来源数
50%
置信度
长期有效
时效性
2026/7/22
首次发现
来源
相关事实
待验证Outlines 的约束逻辑作用于采样阶段的 logits 遮罩，不修改模型权重、不增加额外前向传播，运行时开销接近于零75% 相似待验证逻辑回归中的交叉熵损失如果直接对 log(0) 求值会产生负无穷，需要加入极小的 epsilon 值或使用 log-sum-exp 技巧74% 相似待验证FSM约束通过logit masking将不合法的下一个token概率强制置为零，但将复杂Schema编译为有限状态机会带来编译耗时和内存占用上升的代价62% 相似待验证FSM约束通过logit masking将当前状态下非法token的概率强制置为零，从而保证生成路径符合Schema语法规则61% 相似待验证RAG中Chunk大小通常在256至1024 token之间，过小导致语义不完整，过大则引入噪声并稀释相关性60% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/593679API
curl https://kongchang.com/api/v1/knowledge/claims/593679MCP
get_claim(id=593679)