Sagar Malhotra
4 papers · 2022–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🧭
Keyword Pioneer
🌍
Conference Polyglot
(3)
🐝
Cross-Pollinator
(6)
🌉
Interdisciplinary Bridge
Conferences
ICML (2)
AAAI (1)
IJCAI (1)
Top co-authors
Keywords
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)
symbolic function
(1)
domain liftability
(1)
lifted interpretation
(1)
counting quantifier
(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