LogicXGNN: Grounded Logical Rules for Explaining Graph Neural Networks
Published in ICLR (Top 2.5%), 2026
Selected publications
Learning Minimal Neural Specifications
Published in NeuS (Oral presentation), 2025
Towards Reliable Neural Specifications
Published in ICML (Oral presentation), 2023
Identifying Different Student Clusters in Functional Programming Assignments
Published in SIGCSE TS, 2023
Novice Type Error Diagnosis with Natural Language Models
Published in APLAS, 2022