arXiv · cs.RO· Amit Jain, Sergio Sanchez-Hurtado, Victor Rodriguez-Fernandez, Richard Linares·· 4 小时前AI 评分58
论文 / 摘要阅读
Proof-Carrying Evolution：语言模型辅助设计可形式化验证的控制器
Proof-Carrying Evolution: Black-Box Search, White-Box Flight
AI 导读 · 根据来源整理
论文研究语言模型能否辅助设计行为可被形式化检查的控制器，提出 proof-carrying evolution（PCE）：搜索同时给出控制器及其证书，数学形式固定，由提议者选择数值参数，证书检查引导选择，只有通过认证的候选才能被返回，部署产物是控制律及其证书，语言模型仅在设计中起作用。作者在限速对接、机动目标追踪和 SO(3) 姿态控制上，用配对运行和相同提议额度比较四个语言模型与经典搜索和合成方法；线性问题在搜索中用精确有理数算术检查证书，SO(3) 上先用浮点检查，再对每个报告的最优解做精确复核，各方法最佳运行还获得 Lean 4 证明。
本站目前提供摘要
以上是对来源材料的中文整理，不是完整论文或全文。研究方法、数据与完整论述请到来源页面核对。
前往 arXiv · cs.RO 阅读原文 ↗来源：arXiv · cs.RO · arxiv.org