Aditya A. Shrotri
3 papers
· 2019–2022
· 2 conferences
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🐝
Cross-Pollinator
(10)
🌉
Interdisciplinary Bridge
Conferences
IJCAI (2)
AAAI (1)
Top co-authors
Keywords
bayesian inference
(1)
formal methods
(1)
dynamic programming
(1)
approximation algorithm
(1)
model explanation
(1)
post-hoc explanation
(1)
black-box model
(1)
monte carlo method
(1)
perturbation method
(1)
algebraic decision diagram
(1)
dnf formula
(1)
solution counting
(1)
model counting
(1)
fidelity metric
(1)
hash function
(1)
weighted sampling
(1)
boolean formula
(1)
boolean constraint
(1)
exact weighted sampling
(1)