1 citations · 1 across the 8 of their papers we have counts for
5 papers · 1 filter
Rethinking Circuit Evaluation: Do Circuits Explain Model Errors?
Li Zhang, Chuqin Geng, Mark Zhang +4
Mechanistic interpretability (MI) aims to explain a model's behaviour through analyzing its internal computations; circuit-based explanations aim to isolate these computations with…
OmniRouting: A Semantic-Coupled Multimodal Benchmark for Constraint-Aware Spatial Reasoning in PCB Routing
Taiting Lu, Kaiyuan Lin, Ziwei Dong +18
Recent large language models (LLMs) have demonstrated remarkable progress in constraint-aware navigation, maze reasoning, and graph reasoning. However, their ability to reason abou…
OmniLayout: A Schematic-Coupled Multimodal Benchmark for Constraint-Aware Geometric Reasoning in PCB Layout
Taiting Lu, Kaiyuan Lin, Mingjia Wang +12
Recent large language models (LLMs) have demonstrated remarkable progress in 3D spatial reasoning, spatial grounding, and fine-grained geometric understanding. However, their abili…
Neural Proposals, Symbolic Guarantees: Neuro-Symbolic Graph Generative Modeling
Chuqin Geng, Li Zhang, Mark Zhang +4
While deep generative models excel at capturing graph data distributions, they struggle to satisfy complex, hard constraints. In unconstrained settings, these models typically prod…
Beyond Message Passing: A Symbolic Alternative for Expressive and Interpretable Graph Learning
Chuqin Geng, Li Zhang, Haolin Ye +5
Graph Neural Networks (GNNs) have become essential in high-stakes domains such as drug discovery, yet their black-box nature remains a significant barrier to trustworthiness. While…