Agentic Verified Optimization of Real-World Software验证式优化在 189 个参考实现中为 156 个生成更快已证明重写
验证式优化在 189 个参考实现中为 156 个生成更快已证明重写
将程序优化与机器可检查等价证明结合，以现有实现为规范，避免测试被智能体利用，为生产级验证优化提供路径。
DOMAIN OBSERVATORY
资料 81 条 · 常规内容近 60–90 天，综述/报告保留一年最近同步 18 分钟前
（暂无权威综述，基于前沿内容归纳） 该领域当前主线是从“单体编码智能体”走向“MCP 工具协议 + 可复用 Skills + 多智能体互操作”，同时强化评测、容错与安全。