Mechanistic interpretability aims to recover the internal computations responsible for model behavior. Progress in automated circuit discovery is often framed as a search problem: better attribution or optimization should identify better mechanisms. This assumes that the evaluation objective can recognize a better circ...
Chu-Qin Geng, Li Zhang, Hao-Lin Ye et al.· 0 citations
Neuro-Symbolic Graph Generative Modeling (NSGGM), a framework built on the principle of Neural Proposals, Symbolic Guarantees, is introduced, and is competitive with state-of-the-art methods on unconstrained tasks.
Chu-Qin Geng, Li Zhang, Mark Zhang et al.· 0 citations
Findings show circuits can preserve task success without adequately explaining model's failures, and support exact error reproduction as a necessary, but not sufficient, test of circuit-based explanations of model behaviour.
Li Zhang, Chu-Qin Geng, Mark Zhang et al.· 0 citations
OmniRouting is the first large-scale benchmark designed to evaluate LLMs on printed-circuit-board (PCB) routing reasoning under real-world industrial design-rule, manufacturability, and connectivity constraints, and reveals substantial limitations of current LMMs in PCB routing.
Tai-Ting Lu, Kai-Yuan Lin, Zi-Wei Dong et al.· 0 citations
OmniLayout, the first benchmark designed to evaluate LLMs on printed-circuit-board (PCB) layout placement reasoning under real-world geometric, routing, and connectivity constraints, reveals substantial limitations of current LLMs in PCB layout placement, including weak geometric reasoning, poor routability optimizatio...
Taiting Lu, Kaiyuan Lin, Mingjia Wang et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.