论文Agent 与开发者多源确认10:16Aria借助代码智能体实现全自动形式化验证Aria让代码智能体自由探索，不用手动设计策略，就能把Iris和reglang上所有定理都自动证出来，比之前的方法强太多了。#Aria#Claude Code#形式化验证#代码智能体4 个信源在谈事件专题aarXiv cs.AI@Shuangxiang Kan 等 3 人5 个信源在谈原文稍后读已读值得跟进有用关注 Aria