语言模型搜索可验证控制器：PCE 方法
热点事件历史事件
语言模型搜索可验证控制器：PCE 方法
1 篇报道1 个报道来源8 天前更新
先了解这件事
AI 综述
研究团队提出“证明携带演化”（PCE）方法：语言模型在搜索控制器时同时给出形式化证书，只有通过证书校验的候选才会被返回，最终部署的是控制律与证书，语言模型仅用于设计阶段。作者在限速对接、机动目标追踪和 SO(3) 姿态控制上比较了四个语言模型与经典搜索和综合方法。 校验方式因问题而异：线性问题在搜索过程中用精确有理数算术校验证书；SO(3) 上先用浮点校验，再对每个报告冠军精确复验。各方法的最佳运行还获得了 Lean 4 证明。 作者报告，所有搜索运行的中位数仍低于手工调参的控制律。
AI 根据报道生成 · 8 天前更新
最新进展11月2日 13:00
证明携带演化：语言模型设计可形式化验证的控制器报道时间线
沿着报道，了解事件的不同侧面。
11月2日
- arXiv cs.RO证明携带演化：语言模型设计可形式化验证的控制器
研究提出证明携带演化（PCE）方法，让语言模型在搜索中同时给出控制器及其证书，只有通过证书校验的候选才能被返回，部署产物是控制律与证书。作者在限速对接、机动目标追踪和 SO(3) 姿态控制上比较四个语言模型与经典搜索和综合方法，线性问题用精确有理数算术校验证书，SO(3) 上先浮点校验再对每个报告冠军精确复验，各方法最佳运行还获得 Lean 4 证明。
本事件热度走势
- 可比范围当前
- 3
- 可比范围峰值
- 411月4日 01:00
- 近 24 小时变化
- –
01234
02:0004:0006:0008:0010:0012:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。