Aditya A. Shrotri

According to our database, Aditya A. Shrotri authored at least 9 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

DPSampler: Exact Weighted Sampling Using Dynamic Programming.

Jeffrey M. Dudek, Aditya A. Shrotri, Moshe Y. Vardi

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Constraint-Driven Explanations for Black-Box ML Models.

Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva, Moshe Y. Vardi

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2020

On Uniformly Sampling Traces of a Transition System (Extended Version).

Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi

CoRR, 2020

On Uniformly Sampling Traces of a Transition System.

Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

2019

Not all FPRASs are equal: demystifying FPRASs for DNF-counting.

Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi

Constraints An Int. J., 2019

Assessing Heuristic Machine Learning Explanations with Model Counting.

Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev, João Marques-Silva

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract).

Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

On Symbolic Approaches for Computing the Matrix Permanent.

Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi

Proceedings of the Principles and Practice of Constraint Programming, 2019

2017

On Hashing-Based Approaches to Approximate DNF-Counting.

Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi

Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017