Scholar
Chuqin Geng
Google Scholar ID: RyOzsy8AAAAJ
McGill University, Mila
Deep learning
Explainable AI
Interpretability
Robustness and Verification
Formal methods
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
90
H-index
5
i10-index
2
Publications
13
Co-authors
10
list available
Publications
9 items
Are We Recovering Mechanisms? Objective-Level Recovery Gaps in Mechanistic Interpretability
2026
Cited
0
Rethinking Circuit Evaluation: Do Circuits Explain Model Errors?
2026
Cited
0
DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent
2026
Cited
0
Neural Proposals, Symbolic Guarantees: Neuro-Symbolic Graph Generation with Hard Constraints
2026
Cited
0
Beyond Message Passing: A Symbolic Alternative for Expressive and Interpretable Graph Learning
2026
Cited
0
Extracting Interpretable Logic Rules from Graph Neural Networks
2025
Cited
0
Learning Interpretable Logic Rules from Deep Vision Models
2025
Cited
0
Decoding Interpretable Logic Rules from Neural Networks
2025
Cited
0
Load more
Co-authors
8 total
Xujie Si
University of Toronto & Mila
Brigitte Pientka
McGill University
Haolin Ye
Bachelor Student of Computer Science and Mathematics, McGill University
Zhaoyue Wang
McGill University, Mila
Arie Gurfinkel
University of Waterloo
Ziyu Zhao (赵子宇)
Master Student McGill
Qidong Su
University of Toronto
Gennady Pekhimenko
University of Toronto
