Seguir
Aditya A. Shrotri
Aditya A. Shrotri
Siemens Digital Industries Software
Dirección de correo verificada de siemens.com - 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
Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019
632019
Not all FPRASs are equal: demystifying FPRASs for DNF-counting
KS Meel, AA Shrotri, MY Vardi
Constraints 24, 211-233, 2019
212019
On hashing-based approaches to approximate DNF-counting
KS Meel, AA Shrotri, MY Vardi
arXiv preprint arXiv:1710.05247, 2017
212017
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
152022
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
42020
DPSampler: Exact Weighted Sampling Using Dynamic Programming.
JM Dudek, AA Shrotri, MY Vardi
IJCAI, 1795-1803, 2022
22022
On symbolic approaches for computing the matrix permanent
S Chakraborty, AA Shrotri, MY Vardi
Principles and Practice of Constraint Programming: 25th International …, 2019
22019
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–9