arXiv cs.RO· Amit Jain, Sergio Sanchez-Hurtado, Victor Rodriguez-Fernandez, Richard Linares·· 8 天前AI 评分58
证明携带演化：语言模型设计可形式化验证的控制器
Proof-Carrying Evolution: Black-Box Search, White-Box Flight
AI 导读
研究提出证明携带演化（PCE）方法，让语言模型在搜索中同时给出控制器及其证书，只有通过证书校验的候选才能被返回，部署产物是控制律与证书。作者在限速对接、机动目标追踪和 SO(3) 姿态控制上比较四个语言模型与经典搜索和综合方法，线性问题用精确有理数算术校验证书，SO(3) 上先浮点校验再对每个报告冠军精确复验，各方法最佳运行还获得 Lean 4 证明。
来源：arXiv cs.RO · arxiv.org