Zerun Li — accepted AI-conference papers

2026

Efficient Diffusion Planning with Temporal Diffusion

Jiaming Guo, Rui Zhang, Zerun Li, Yunkai Gao, Shaohui Peng, Siming Lan +4

AAAI 2026technical

Diffusion planning is a promising method for learning high-performance policies from offline data. To avoid the impact of discrepancies between planning and reality on performance, previous works generate new plans at each time step. However, this incurs significant computational overhead and leads

Cited by 0 Source ↗PDF ↗Scholar ↗

2026

QiMeng-VPID: Verification-Grounded Port-Level Iterative Decomposition for Complex Verilog Generation

Hongguang Wang, Jiaming Guo, Rui Zhang, Zerun Li, Di Huang, Pengwei Jin +4

IJCAI 2026

While Large Language Models (LLMs) have shown promise in translating natural-language specifications to Register-Transfer Level (RTL) designs, they often fail on complex, port-rich IPs. Existing frameworks typically separate generation from debugging, relying on static decomposition and iterative re

Cited by 0 Scholar ↗