Aditya A. Shrotri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2019–2022
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | AAAI | Constraint-Driven Explanations for Black-Box ML Models. | Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, Joo Marques-Silva, Moshe Y. Vardi |
| 2022 | IJCAI | DPSampler: Exact Weighted Sampling Using Dynamic Programming. | Jeffrey M. Dudek, Aditya A. Shrotri, Moshe Y. Vardi |
| 2020 | ICCAD | On Uniformly Sampling Traces of a Transition System. | Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi |
| 2019 | CP | On Symbolic Approaches for Computing the Matrix Permanent. | Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi |
| 2019 | IJCAI | Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract). | Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi |
| 2019 | SAT | Assessing Heuristic Machine Learning Explanations with Model Counting. | Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev, Joo Marques-Silva |