Meel, Kuldeep S.

48 publications

ICLR 2025 Computational Explorations of Total Variation Distance Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, A. Pavan, N. V. Vinodchandran

AISTATS 2025 Distance Estimation for High-Dimensional Discrete Distributions Kuldeep S. Meel, Gunjan Kumar, Yash Pote

AAAI 2025 Probabilistic Explanations for Linear Models Bernardo Subercaseaux, Marcelo Arenas, Kuldeep S. Meel

AAAI 2025 Towards Projected and Incremental Pseudo-Boolean Model Counting Suwei Yang, Kuldeep S. Meel

AAAI 2025 Towards Real-Time Approximate Counting Yash Pote, Kuldeep S. Meel, Jiong Yang

AAAI 2024 An Approximate Skolem Function Counter Arijit Shaw, Brendan Juba, Kuldeep S. Meel

AAAI 2024 Auditable Algorithms for Approximate Model Counting Kuldeep S. Meel, Supratik Chakraborty, S. Akshay

AAAI 2024 Engineering an Exact Pseudo-Boolean Model Counter Suwei Yang, Kuldeep S. Meel

AAAI 2024 Exact ASP Counting with Compact Encodings Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel

ICML 2024 Total Variation Distance Meets Probabilistic Inference Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, A. Pavan, N. V. Vinodchandran

AAAI 2023 Constraint Optimization over Semirings Aduri Pavan, Kuldeep S. Meel, N. V. Vinodchandran, Arnab Bhattacharyya

IJCAI 2023 Engineering an Efficient Approximate DNF-Counter Mate Soos, Divesh Aggarwal, Sourav Chakraborty, Kuldeep S. Meel, Maciej Obremski

AAAI 2023 Fast Converging Anytime Model Counting Yong Lai, Kuldeep S. Meel, Roland H. C. Yap

IJCAI 2023 On Approximating Total Variation Distance Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, A. Pavan, N. V. Vinodchandran

IJCAI 2023 Solving the Identifying Code Set Problem with Grouped Independent Support Anna L. D. Latour, Arunabha Sen, Kuldeep S. Meel

AISTATS 2023 Testing of Horn Samplers Ansuman Banerjee, Shayak Chakraborty, Sourav Chakraborty, Kuldeep S. Meel, Uddalok Sarkar, Sayantan Sen

AAAI 2022 Algorithmic Fairness Verification with Graphical Models Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel

AAAI 2022 ApproxASP - A Scalable Approximate Answer Set Counter Mohimenul Kabir, Flavio O. Everardo, Ankit K. Shukla, Markus Hecher, Johannes Klaus Fichte, Kuldeep S. Meel

AAAI 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

IJCAI 2022 Counting, Sampling, and Synthesis: The Quest for Scalability Kuldeep S. Meel

JAIR 2022 Efficient Learning of Interpretable Classification Rules Bishwamittra Ghosh, Dmitry Malioutov, Kuldeep S. Meel

NeurIPS 2022 On Scalable Testing of Samplers Yash Pote, Kuldeep S Meel

AAAI 2021 Counting Maximal Satisfiable Subsets Jaroslav Bendík, Kuldeep S. Meel

AAAI 2021 Justicia: A Stochastic SAT Approach to Formally Verify Fairness Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel

IJCAI 2021 Partition Function Estimation: A Quantitative Study Durgesh Agrawal, Yash Pote, Kuldeep S. Meel

AAAI 2021 Predicting Forest Fire Using Remote Sensing Data and Machine Learning Suwei Yang, Massimo Lupascu, Kuldeep S. Meel

IJCAI 2021 Program Synthesis as Dependency Quantified Formula Modulo Theory Priyanka Golia, Subhajit Roy, Kuldeep S. Meel

AAAI 2021 Symmetric Component Caching for Model Counting on Combinatorial Instances Timothy van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel

NeurIPS 2021 Testing Probabilistic Circuits Yash Pralhad Pote, Kuldeep S Meel

AAAI 2021 The Power of Literal Equivalence in Model Counting Yong Lai, Kuldeep S. Meel, Roland H. C. Yap

AAAI 2020 A MaxSAT-Based Framework for Group Testing Lorenzo Ciampiconi, Bishwamittra Ghosh, Jonathan Scarlett, Kuldeep S. Meel

NeurIPS 2020 Efficient Distance Approximation for Structured High-Dimensional Distributions via Learning Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S Meel, N. V. Vinodchandran

NeurIPS 2020 On Testing of Samplers Kuldeep S Meel, Yash Pralhad Pote, Sourav Chakraborty

NeurIPS 2020 Taming Discrete Integration via the Boon of Dimensionality Jeffrey Dudek, Dror Fried, Kuldeep S Meel

AAAI 2019 BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting Mate Soos, Kuldeep S. Meel

NeurIPS 2019 Embedding Symbolic Knowledge into Deep Networks Yaqi Xie, Ziwei Xu, Mohan S Kankanhalli, Kuldeep S Meel, Harold Soh

IJCAI 2019 GANAK: A Scalable Probabilistic Exact Model Counter Shubham Sharma, Subhajit Roy, Mate Soos, Kuldeep S. Meel

IJCAI 2019 Not All FPRASs Are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract) Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi

AAAI 2019 On Testing of Uniform Samplers Sourav Chakraborty, Kuldeep S. Meel

AAAI 2019 On the Hardness of Probabilistic Inference Relaxations Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi

IJCAI 2019 Phase Transition Behavior of Cardinality and XOR Constraints Yash Pote, Saurabh Joshi, Kuldeep S. Meel

AAAI 2017 Counting-Based Reliability Estimation for Power-Transmission Grids Leonardo Dueñas-Osorio, Kuldeep S. Meel, Roger Paredes, Moshe Y. Vardi

IJCAI 2017 The Hard Problems Are Almost Everywhere for Random CNF-XOR Formulas Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi

IJCAI 2016 Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi

AAAI 2016 Approximate Probabilistic Inference via Word-Level Counting Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi

IJCAI 2016 Combining the K-CNF and XOR Phase-Transitions Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi

IJCAI 2015 From Weighted to Unweighted Model Counting Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi

AAAI 2014 Distribution-Aware Sampling and Weighted Model Counting for SAT Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi