Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Kuldeep S. Meel

Kuldeep S. Meel

National University of Singapore

Engineering an Efficient Boolean Functional Synthesis Engine


Aug 12, 2021
Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel

* To be published in 40th International Conference On Computer Aided Design (ICCAD-2021) 

  Access Paper or Ask Questions

Program Synthesis as Dependency Quantified Formula Modulo Theory


May 19, 2021
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel

* 12 page excluding reference. To be published in 30th International Joint Conference on Artificial Intelligence (IJCAI-21) 

  Access Paper or Ask Questions

Predicting Forest Fire Using Remote Sensing Data And Machine Learning


Jan 06, 2021
Suwei Yang, Massimo Lupascu, Kuldeep S. Meel

* 8 pages, 3 figures, to be published in the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21) 

  Access Paper or Ask Questions

Taming Discrete Integration via the Boon of Dimensionality


Oct 21, 2020
Jeffrey M. Dudek, Dror Fried, Kuldeep S. Meel

* To be published at NeurIPS 2020 

  Access Paper or Ask Questions

Justicia: A Stochastic SAT Approach to Formally Verify Fairness


Sep 14, 2020
Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel

* 24 pages, 7 figures, 5 theorems 

  Access Paper or Ask Questions

Phase Transition Behavior in Knowledge Compilation


Jul 20, 2020
Rahul Gupta, Subhajit Roy, Kuldeep S. Meel

* This is full version of the conference paper published at International Conference on Principles and Practice of Constraint Programming 

  Access Paper or Ask Questions

Manthan: A Data Driven Approach for Boolean Function Synthesis


May 14, 2020
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel

* 24 pages including references, and 8 figures. To be published in 32nd International Conference on Computer-Aided Verification (CAV-2020) 

  Access Paper or Ask Questions

Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice


Apr 30, 2020
Kuldeep S. Meel, S. Akshay

* Full version of paper accepted in LICS2020 conference 

  Access Paper or Ask Questions

Scalable Quantitative Verification For Deep Neural Networks


Feb 17, 2020
Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena


  Access Paper or Ask Questions

Efficient Distance Approximation for Structured High-Dimensional Distributions via Learning


Feb 14, 2020
Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, N. V. Vinodchandran

* 24 pages, 1 figure 

  Access Paper or Ask Questions

IMLI: An Incremental Framework for MaxSAT-Based Learning of Interpretable Classification Rules


Jan 07, 2020
Bishwamittra Ghosh, Kuldeep S. Meel

* AIES-19: AAAI/ACM conference on Artificial Intelligence, Ethics, and SocietyAt: Honolulu, HI, United States, January 27-28, 2019 
* 10 pages, published in the proceedings of AAAI/ACM Conference on AI, Ethics, and Society (AIES 2019) 

  Access Paper or Ask Questions

Phase Transition Behavior of Cardinality and XOR Constraints


Oct 22, 2019
Yash Pote, Saurabh Joshi, Kuldeep S. Meel

* https://doi.org/10.24963/ijcai.2019/162 

  Access Paper or Ask Questions

Quantitative Verification of Neural Networks And its Security Applications


Jun 25, 2019
Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena


  Access Paper or Ask Questions

MLIC: A MaxSAT-Based framework for learning interpretable classification rules


Dec 05, 2018
Dmitry Malioutov, Kuldeep S. Meel

* Paper published in Proceedings of International Conference on Constraint Programming (CP), 2018 

  Access Paper or Ask Questions

Constrained Counting and Sampling: Bridging the Gap between Theory and Practice


Jun 06, 2018
Kuldeep S. Meel

* PhD Thesis, Rice University, 2018 

  Access Paper or Ask Questions

On Hashing-Based Approaches to Approximate DNF-Counting


Oct 14, 2017
Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi

* Full version of paper accepted to FSTTCS 2017. 12 pages + Acknowledgements + References + Appendix 

  Access Paper or Ask Questions

Approximate Probabilistic Inference via Word-Level Counting


Feb 09, 2016
Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi

* Full version of AAAI 2016 paper 

  Access Paper or Ask Questions

Constrained Sampling and Counting: Universal Hashing Meets SAT Solving


Dec 21, 2015
Kuldeep S. Meel, Moshe Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik

* Appears in proceedings of AAAI-16 Workshop on Beyond NP 

  Access Paper or Ask Questions

Distribution-Aware Sampling and Weighted Model Counting for SAT


Apr 11, 2014
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi

* This is a full version of AAAI 2014 paper 

  Access Paper or Ask Questions