Shrotri, Aditya A.

3 publications

AAAI 2022 Constraint-Driven Explanations for Black-Box ML Models Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva, Moshe Y. Vardi

IJCAI 2022 DPSampler: Exact Weighted Sampling Using Dynamic Programming Jeffrey M. Dudek, Aditya A. Shrotri, Moshe Y. Vardi

IJCAI 2019 Not All FPRASs Are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract) Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi