Malhotra, Sagar

9 publications

ICML 2025 Beyond Topological Self-Explainable GNNs: A Formal Explainability Perspective Steve Azzolin, Sagar Malhotra, Andrea Passerini, Stefano Teso

NeurIPS 2025 On Local Limits of Sparse Random Graphs: Color Convergence and the Refined Configuration Model Alexander Pluska, Sagar Malhotra

ICML 2025 Probably Approximately Global Robustness Certification Peter Blohm, Patrick Indri, Thomas Gärtner, Sagar Malhotra

ICMLW 2024 Distillation Based Robustness Verification with PAC Guarantees Patrick Indri, Peter Blohm, Anagha Athavale, Ezio Bartocci, Georg Weissenbacher, Matteo Maffei, Dejan Nickovic, Thomas Gärtner, Sagar Malhotra

ICMLW 2024 Logical Distillation of Graph Neural Networks Alexander Pluska, Pascal Welke, Thomas Gärtner, Sagar Malhotra

ECML-PKDD 2024 Understanding Domain-Size Generalization in Markov Logic Networks Florian Chen, Felix Weitkämper, Sagar Malhotra

IJCAI 2023 Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions Alessandro Daniele, Tommaso Campari, Sagar Malhotra, Luciano Serafini

ECML-PKDD 2022 On Projectivity in Markov Logic Networks Sagar Malhotra, Luciano Serafini

AAAI 2022 Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula Sagar Malhotra, Luciano Serafini