2 papers
cs.AI2026
HWE-Bench: Benchmarking LLM Agents on Real-World Hardware Bug Repair Tasks
Fan Cui, Hongyuan Hou, Zizhang Luo +2
Existing benchmarks for hardware design primarily evaluate Large Language Models (LLMs) on isolated, component-level tasks such as generating HDL modules from specifications, leavi…
cs.AI2026
LLM-Guided Strategy Synthesis for Scalable Equality Saturation
Chenyun Yin, Youwei Xiao, Yuze Luo +2
Equality saturation (EqSat) is a powerful optimization paradigm that compactly represents many equivalent programs in an e-graph and delays commitment until extraction selects a lo…