Sagar Malhotra
4 papers
· 2022–2025
· 3 conferences
· across top CS/AI conferences
Achievements
π§
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)