Assessing heuristic machine learning explanations with model counting N Narodytska, A Shrotri, KS Meel, A Ignatiev, J Marques-Silva Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019 | 66 | 2019 |
Not all FPRASs are equal: demystifying FPRASs for DNF-counting KS Meel, AA Shrotri, MY Vardi Constraints 24, 211-233, 2019 | 21 | 2019 |
On hashing-based approaches to approximate DNF-counting KS Meel, AA Shrotri, MY Vardi arXiv preprint arXiv:1710.05247, 2017 | 21 | 2017 |
Constraint-driven explanations for black-box ML models AA Shrotri, N Narodytska, A Ignatiev, KS Meel, J Marques-Silva, MY Vardi Proceedings of the AAAI Conference on Artificial Intelligence 36 (8), 8304-8314, 2022 | 16 | 2022 |
On uniformly sampling traces of a transition system S Chakraborty, AA Shrotri, MY Vardi Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020 | 4 | 2020 |
DPSampler: Exact Weighted Sampling Using Dynamic Programming. JM Dudek, AA Shrotri, MY Vardi IJCAI, 1795-1803, 2022 | 2 | 2022 |
On symbolic approaches for computing the matrix permanent S Chakraborty, AA Shrotri, MY Vardi Principles and Practice of Constraint Programming: 25th International …, 2019 | 2 | 2019 |
Domain-Driven Approaches for Constrained Counting and Sampling AA Shrotri | | 2021 |
On Hashing-Based Approaches to Approximate DNF-Counting AA Shrotri Rice University, 2017 | | 2017 |