Aditya A. Shrotri

11 papers A* 3A 3Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2022 A* conf
Constraint-Driven Explanations for Black-Box ML Models.
AAAI
Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva, Moshe Y. Vardi
2022 A* conf
DPSampler: Exact Weighted Sampling Using Dynamic Programming.
IJCAI
Jeffrey M. Dudek, Aditya A. Shrotri, Moshe Y. Vardi
2020 J jnl
On Uniformly Sampling Traces of a Transition System (Extended Version).
CoRR
Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi
2020 A conf
On Uniformly Sampling Traces of a Transition System.
ICCAD
Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi
2019 A conf
Assessing Heuristic Machine Learning Explanations with Model Counting.
SAT
Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev, João Marques-Silva
2019 A* conf
Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract).
IJCAI
Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
2019 J jnl
Not all FPRASs are equal: demystifying FPRASs for DNF-counting.
Constraints An Int. J.
Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
2019 A conf
On Symbolic Approaches for Computing the Matrix Permanent.
CP
Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi
2019 J jnl
On Symbolic Approaches for Computing the Matrix Permanent.
CoRR
Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi
2017 — conf
On Hashing-Based Approaches to Approximate DNF-Counting.
FSTTCS
Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
2017 J jnl
On Hashing-Based Approaches to Approximate DNF-Counting.
CoRR
Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi