Showing cs.CLShow all
2 papers · 1 filter
cs.CL2026
Verilog-Evolve: Feedback-Driven and Skill-Evolving Verilog Generation
Zehua Pei, Hui-Ling Zhen, Yu Zhang +3
Large language models (LLMs) have improved Verilog generation from natural-language specifications, but most pipelines still treat generation as isolated sampling followed by funct…
cs.CL2025
DiLA: Enhancing LLM Tool Learning with Differential Logic Layer
Yu Zhang, Hui-Ling Zhen, Zehua Pei +4
Considering the challenges faced by large language models (LLMs) in logical reasoning and planning, prior efforts have sought to augment LLMs with access to external solvers. While…