Chia-Tung Ho — accepted AI-conference papers

2026

LLM4Cov: Execution-Grounded Agent Learning for High-Coverage Hardware Verification

Hejia Zhang, Zhongming Yu, Chia-Tung Ho, Mark Ren, Brucek Khailany, Jishen Zhao

ICML 2026poster

Execution-grounded LLM agents offer a promising paradigm for learning from tool feedback, but such feedback is often expensive and slow to obtain, making online reinforcement learning (RL) impractical. High-coverage hardware verification exemplifies this challenge due to its reliance on industrial s…

Cited by 0 Source ↗Scholar ↗

2025

VerilogCoder: Autonomous Verilog Coding Agents with Graph-based Planning and Abstract Syntax Tree (AST)-based Waveform Tracing Tool

Chia-Tung Ho, Haoxing Ren, Brucek Khailany

AAAI 2025technical

Due to the growing complexity of modern Integrated Circuits (ICs), automating hardware design can prevent a significant amount of human error from the engineering process and result in less errors. Verilog is a popular hardware description language for designing and modeling digital systems; thus, V…

Cited by 19 Source ↗PDF ↗code ↗Scholar ↗