热点事件观察中
LLM引导可验证SMT求解框架LinguaArray
1 篇报道1 个报道来源1 天前更新
先了解这件事
AI 综述
2026年10月29日，arXiv cs.AI/cs.LG 发布 LinguaArray，一个面向量化数组的可验证 LLM 引导焦点 SMT 求解框架。其做法是由 LLM 提议语义焦点集，SMT 求解器负责证明与认证。在 1015 个 SMT-LIB 实例、五种逻辑、1200 秒超时（含 LLM 延迟）的评测中，最多解决 69.1%，相较对应后端解决数提升 105%–397%。若有限时间内未完成，框架会回退到后端求解器，以缓解潜在性能回退。目前报道为该框架的提出、实验设置与结果。
AI 根据报道生成 · 2 小时前更新
最新进展10月29日 14:13
LinguaArray 发布，评测最多解决 69.1%，较对应后端提升 105%–397%。报道时间线
沿着报道，了解事件的不同侧面。
10月29日
- arXiv cs.AI / cs.LG 最新LinguaArray：面向量化数组的可验证 LLM 引导焦点 SMT 求解
LinguaArray 提出面向量化数组的可验证 LLM 引导焦点 SMT 求解框架，由 LLM 提议语义焦点集，SMT 求解器负责证明与认证。在 1015 个 SMT-LIB 实例、五种逻辑、1200s 超时（含 LLM 延迟）下，最多解决 69.1%，相较对应后端解决数提升 105%–397%。若有限时间内未完成，会回退后端求解器以缓解潜在性能回退。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。