Sagar Malhotra

4 papers · 2022–2025 · 3 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (11)

Venues

ICML (2) AAAI (1) IJCAI (1)

Top co-authors

Luciano Serafini (2) Thomas Gärtner (1) Peter Blohm (1) Stefano Teso (1) Patrick Indri (1) Steve Azzolin (1) Tommaso Campari (1) Alessandro Daniele (1) Andrea Passerini (1)

Research topics

Artificial Intelligence (3) Deep Learning (2) Knowledge & Reasoning (2) Machine Learning (2) Architectures (2) Core AI (2) Learning Types (2) Representation (2) Mathematics & Optimization (1) Bayesian & Probabilistic (1) Optimization (1) Reasoning (1)

Keywords

robustness (1) cardinality constraint (1) first-order logic (1) interpretable representation (1) weighted model counting (1) neuro-symbolic integration (1) symbolic representation (1) perception function (1) discrete symbol (1) probabilistic guarantee (1) minimal explanation (1) symbolic function (1) prime implicant (1) domain liftability (1) lifted interpretation (1) counting quantifier (1) adversarial (1) faithfulness (1) dual-channel gnns (1) rule extractor (1)

Papers

Beyond Topological Self-Explainable GNNs: A Formal Explainability Perspective ICML 2025 Probably Approximately Global Robustness Certification ICML 2025 Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions IJCAI 2023 Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula AAAI 2022