AI Agent

UnitTenX: Generating Tests for Legacy Packages with AI Agents Powered by Formal Verification

Yiannis Charalambous, Claudionor N. Coelho, Luis Lamb, Lucas C. Cordeiro

机构 * The University of Manchester, UK（曼彻斯特大学，英国） ； ECE Department, Santa Clara University, US（圣克拉拉大学电子与计算机工程系，美国） 纠错

专题命中 软件智能体 ：AI agent(title,abstract)；agent(abstract)；multi-agent(abstract)；分类 cs.AI、cs.SE

VeriGuard: Enhancing LLM Agent Safety via Verified Code Generation

Lesly Miculicich, Mihir Parmar, Hamid Palangi, Krishnamurthy Dj Dvijotham, Mirko Montanari, Tomas Pfister, Long T. Le

机构 * Google Cloud AI Research（谷歌云人工智能研究） ； Google DeepMind（谷歌DeepMind） 纠错

专题命中 软件智能体 ：agent(title,abstract)；AI agent(abstract)；分类 cs.AI、cs.SE

Comments 22 pages

Scientific Algorithm Discovery by Augmenting AlphaEvolve with Deep Research

Gang Liu, Yihan Zhu, Jie Chen, Meng Jiang

机构 * University of Notre Dame（诺丁汉大学） ； MIT-IBM Watson AI Lab, IBM Research（麻省理工-IBM Watson AI实验室，IBM研究） 纠错

专题命中 软件智能体 ：agent(abstract)；分类 cs.AI

Comments 25 pages, 17 figures, 4 tables

DeepV: A Model-Agnostic Retrieval-Augmented Framework for Verilog Code Generation with a High-Quality Knowledge Base

Zahin Ibnat, Paul E. Calzada, Rasin Mohammed Ihtemam, Sujan Kumar Saha, Jingbo Zhou, Farimah Farahmandi, Mark Tehranipoor

机构 * University of Florida（佛罗里达大学） 纠错

专题命中 软件智能体 ：agentic(abstract)；分类 cs.AI

Comments 22 pages, 6 figures