察元AI教程库 · 文章 · 智能体

RocqSmith：自动优化能否锻造更优的证明代理？

本研究探讨了自动AI代理优化方法在正式验证环境中实际应用的可行性，重点研究了在Rocq中进行自动定理证明这一典型且具有挑战性的领域。我们评估了不同自动代理优化器在该领域中的表现

作者:Andrei Kozyrev, Nikita Khramov, Denis Lochmelis · 语言:en

简介