2 papers
cs.LG2026
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…
cs.LG2025
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…