← Search

Aditya A. Shrotri

2 accepted papers

2022

Constraint-Driven Explanations for Black-Box ML Models

AAAI 2022technical

The need to understand the inner workings of opaque Machine Learning models has prompted researchers to devise various types of post-hoc explanations. A large class of such explainers proceed in two phases: first perturb an input instance whose explanation is sought, and then generate an interpretab…

Cited by 19SourcePDFScholar
2022

DPSampler: Exact Weighted Sampling Using Dynamic Programming

IJCAI 2022poster

The problem of exact weighted sampling of solutions of Boolean formulas has applications in Bayesian inference, testing, and verification. The state-of-the-art approach to sampling involves carefully decomposing the input formula and compiling a data structure called d-DNNF in the process. Recent wo…

Cited by 2SourcePDFScholar