代码大模型 / AI 编程

ASIC-Agent: An Autonomous Multi-Agent System for ASIC Design with Benchmark Evaluation

Ahmed Allam, Youssef Mansour, Mohamed Shalan

专题命中 代码评测 ：code generation(abstract)；分类 cs.CL、cs.AI

Comments 2025 IEEE International Conference on LLM-Aided Design (ICLAD)

AutoVerus: Automated Proof Generation for Rust Code

Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jacob R. Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu

机构 * University of Illinois at Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校） ； Columbia University（哥伦比亚大学） ； University of California Irvine（加州大学尔湾分校） ； University of Toronto（多伦多大学） ； Microsoft Research（微软研究院） ； Microsoft Research Asia（微软亚洲研究院） ； University of Chicago（芝加哥大学） 纠错

专题命中 代码评测 ：code generation(abstract)；分类 cs.SE、cs.AI

Comments OOPSLA 2025