paper-with-me

Papers

ACE-RTL: When Agentic Context Evolution Meets RTL-Specialized LLMs

2026-02-10 · Chenhui Deng, Zhongzhi Yu, Guan-Ting Liu, Nathaniel Pinckney, Brucek Khailany, Haoxing Ren arxiv

Recent advances in LLMs have sparked growing interest in applying them to hardware design automation, particularly for accurate RTL code generation. Prior efforts follow two largely independent paths: (i) training domain-adapted RTL models to internalize hardware semantics, (ii) developing agentic systems that leverage frontier generic LLMs guided by simulation feedback. However, these two paths exhibit complementary strengths and weaknesses. In this work, we present ACE-RTL that unifies both directions through Agentic Context Evolution (ACE). ACE-RTL integrates an RTL-specialized LLM, trained on a large-scale dataset of 1.7 million RTL samples, with a frontier reasoning LLM through three synergistic components: the generator, reflector, and coordinator. These components iteratively refine RTL code toward functional correctness. We further analyze a parallel scaling strategy that reduces wall-clock iterations to first success by exploring diverse debugging trajectories concurrently. On the CVDP benchmark, ACE-RTL achieves up to a 41.02% pass rate improvement over 14 competitive baselines.

📄 PDF Abstract BibTeX arXiv:2602.10218

Code (0)

등록된 구현이 없습니다.

Tasks

Code Generation

Similar Papers 제목 키워드 기반

IQuest-Coder-V1 Technical Report

2026-03-17 · Jian Yang, Wei Zhang, Shawn Guo, Zhengmao Ye 외 arxiv

In this report, we introduce the IQuest-Coder-V1 series-(7B/14B/40B/40B-Loop), a new family of code large language models (LLMs). Moving beyond static code representations, we propose the code-flow multi-stage training p…

Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics

2025-10-14 · Benjamin Breen, Marco Del Tredici, Jacob McCarran, Javier Aspuru Mijares 외 arxiv

We present Ax-Prover, a multi-agent system for automated theorem proving in Lean that can solve problems across diverse scientific domains and operate either autonomously or collaboratively with human experts. To achieve…

Automated Theorem ProvingAbstract Algebra

LLM Agent Meets Agentic AI: Can LLM Agents Simulate Customers to Evaluate Agentic-AI-based Shopping Assistants?

2025-09-25 · Lu Sun, Shihan Fu, Bingsheng Yao, Yuxuan Lu 외 arxiv

Agentic AI is emerging, capable of executing tasks through natural language, such as Copilot for coding or Amazon Rufus for shopping. Evaluating these systems is challenging, as their rapid evolution outpaces traditional…

SAFARI: Scaling Long Horizon Agentic Fault Attribution via Active Investigation

2026-06-23 · Chenyang Zhu, Jiayu Yao, Kushal Chawla, Youbing Yin 외 arxiv

As autonomous agents tackle increasingly complex multi-step, multi-agent tasks, their execution trajectories have scaled beyond the constraints of even the largest context windows. Current methods for effectively diagnos…

ETO Meets Scheduling: Learning Key Knowledge from Single-Objective Problems to Multi-Objective Problem

2022-06-26 · Wendi Xu, Xianpeng Wang

Evolutionary transfer optimization(ETO) serves as "a new frontier in evolutionary computation research", which will avoid zero reuse of experience and knowledge from solved problems in traditional evolutionary computatio…

Scheduling