Aditya A. Shrotri
Aditya A. Shrotri
Dirección de correo verificada de rice.edu - Página principal
Título
Citado por
Citado por
Año
Assessing heuristic machine learning explanations with model counting
N Narodytska, A Shrotri, KS Meel, A Ignatiev, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2019
242019
Not all FPRASs are equal: demystifying FPRASs for DNF-counting
KS Meel, AA Shrotri, MY Vardi
Constraints 24 (3), 211-233, 2019
102019
On hashing-based approaches to approximate DNF-counting
KS Meel, AA Shrotri, MY Vardi
arXiv preprint arXiv:1710.05247, 2017
92017
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
12020
Constraint-Driven Explanations of Black-Box ML Models
AA Shrotri, N Narodytska, A Ignatiev, J Marques-Silva, KS Meel, M Vardi
2020
On Symbolic Approaches for Computing the Matrix Permanent
S Chakraborty, AA Shrotri, MY Vardi
International Conference on Principles and Practice of Constraint …, 2019
2019
On Hashing-Based Approaches to Approximate DNF-Counting
AA Shrotri
Rice University, 2017
2017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–7