1 citations · 2 across the 11 of their papers we have counts for
7 papers · 1 filter
Are We Recovering Mechanisms? Objective-Level Recovery Gaps in Mechanistic Interpretability
Chuqin Geng, Li Zhang, Haolin Ye +3
Mechanistic interpretability aims to recover the internal computations responsible for model behavior. Progress in automated circuit discovery is often framed as a search problem:…
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…
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…
LogicXGNN: Grounded Logical Rules for Explaining Graph Neural Networks
Chuqin Geng, Ziyu Zhao, Zhaoyue Wang +3
Existing rule-based explanations for Graph Neural Networks (GNNs) provide global interpretability but often optimize and assess fidelity in an intermediate, uninterpretable concept…
NEUROLOGIC: From Neural Representations to Interpretable Logic Rules
Chuqin Geng, Anqi Xing, Li Zhang +3
Rule-based explanation methods offer rigorous and globally interpretable insights into neural network behavior. However, existing approaches are mostly limited to small fully conne…
Learning Minimal Neural Specifications
Chuqin Geng, Zhaoyue Wang, Haolin Ye +1
Formal verification is only as good as the specification of a system, which is also true for neural network verification. Existing specifications follow the paradigm of data as spe…