Author:Kuldeep S. Meel

Publications
Scaling Zero Knowledge UNSAT Verification via Normalized Chaining Ashwin Karthikeyan, Ethan Kharitonov, Kuldeep S. Meel and Anwar Hithnawi In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Formally Solving Answer-Construction Problems in Lean Jialiang Sun, Yuzhi Tang, Ao Li, Chris Maddison and Kuldeep S. Meel In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
A Fast and Accurate ASP Counting Based Network Reliability Estimator Mohimenul Kabir and Kuldeep S Meel In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Scalable Probabilistic Routes Suwei Yang, Victor Liang and Kuldeep S. Meel In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Induction Models on $\mathbb{N}$ A. Dileep, Kuldeep S. Meel and Ammar F. Sabili In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Knowledge Compilation meets Uniform Sampling Shubham Sharma, Rahul Gupta, Subhajit Roy and Kuldeep S. Meel In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

Answer Set Programming, automated reasoning, Constrained Uniform Sampling, constraints, d-DNNF, decision diagrams, equivalence, Induction Models, knowledge compilation², large language models, Lean 4, Mathematical Induction, network reliability, proof checking, reduction, Routing, sampling, SAT solving, satisfiability, theorem proving, Weighted Model Counting, zero-knowledge proofs.