待验证50% 置信基准精确时间

论文在五种逻辑下的1015个SMT-LIB实例上评估LinguaArray，超时设置为1200秒（包括LLM延迟）。

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/10/30

首次发现

有效期至：2027/1/28

来源

可验证的LLM引导SMT求解：LinguaArray框架解析

涉及实体

LinguaArrayconcept SMT-LIBconcept

相关事实

待验证在实际基准测试中，FTS5 对百万级文档的检索延迟通常在个位数毫秒级别69% 相似待验证建议将大模型节点的异常处理超时时间从默认180秒调整为平台最大值600秒，以避免多模态图像输入推理超时被误判为失败68% 相似待验证ITU-R TF.460建议书定义了UTC的构成、与TAI的固定偏移（当前为37秒）以及闰秒的发布机制。67% 相似待验证相比纯编码推理，RATED带来的额外延迟不足1毫秒67% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1114065

API

curl https://kongchang.com/api/v1/knowledge/claims/1114065

MCP

get_claim(id=1114065)