PPaperPicks

Kuldeep S. Meel

University of Toronto, Canada

19 papers at tracked venues · 12 at CORE A* · active 2024–2026

DBLP profile ↗ORCID 0000-0001-9423-5270 ↗Google Scholar ↗Homepage ↗

Venues

AAAI ×8AISTATS ×2KR ×2CP ×1ECAI ×1ICDT ×1ICLR ×1ICML ×1POPL ×1S&P ×1

Frequent coauthors

Arijit Shaw
×3
Alexis de Colnet
×2
Brendan Juba
×2
Arnab Bhattacharyya
×2
Sutanu Gayen
×2
Dimitrios Myrisiotis
×2
A. Pavan
×2
N. V. Vinodchandran
×2
Gunjan Kumar
×2
Yash Pote
×2
Mohimenul Kabir
×2
Suwei Yang
×2

Papers

  1. Counting and Sampling Traces in Regular Languages
    POPL 2026 ·
    Alexis de Colnet
    , Kuldeep S. Meel,
    Umang Mathur
  2. The Limitations and Power of NP-Oracle Based Functional Synthesis Techniques
    AAAI 2026 ·
    Brendan Juba
    , Kuldeep S. Meel
  3. Towards Practical Zero-Knowledge Proof for PSPACE
    S&P 2026 ·
    Ashwin Karthikeyan
    ,
    Hengyu Liu
    , Kuldeep S. Meel,
    Ning Luo
  4. An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs
    ICDT 2025 · Kuldeep S. Meel,
    Alexis de Colnet
  5. Computational Explorations of Total Variation Distance
    ICLR 2025 ·
    Arnab Bhattacharyya
    ,
    Sutanu Gayen
    , Kuldeep S. Meel,
    Dimitrios Myrisiotis
    ,
    Aduri Pavan
    ,
    N. V. Vinodchandran
  6. Distance Estimation for High-Dimensional Discrete Distributions
    AISTATS 2025 · Kuldeep S. Meel,
    Gunjan Kumar
    ,
    Yash Pote
  7. Efficient Volume Computation for SMT Formulas
    KR 2025 ·
    Arijit Shaw
    ,
    Uddalok Sarkar
    , Kuldeep S. Meel
  8. Probabilistic Explanations for Linear Models
    AAAI 2025 ·
    Bernardo Subercaseaux
    ,
    Marcelo Arenas
    , Kuldeep S. Meel
  9. Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
    CP 2025 ·
    Mohimenul Kabir
    ,
    Van-Giang Trinh
    ,
    Samuel Pastva
    , Kuldeep S. Meel
  10. Towards Projected and Incremental Pseudo-Boolean Model Counting
    AAAI 2025 ·
    Suwei Yang
    , Kuldeep S. Meel
  11. Towards Real-Time Approximate Counting
    AAAI 2025 ·
    Yash Pote
    , Kuldeep S. Meel,
    Jiong Yang
  12. An Approximate Skolem Function Counter
    AAAI 2024 ·
    Arijit Shaw
    ,
    Brendan Juba
    , Kuldeep S. Meel
  13. Auditable Algorithms for Approximate Model Counting
    AAAI 2024 · Kuldeep S. Meel,
    Supratik Chakraborty
    ,
    S. Akshay
  14. Engineering an Exact Pseudo-Boolean Model Counter
    AAAI 2024 ·
    Suwei Yang
    , Kuldeep S. Meel
  15. Equivalence Testing: The Power of Bounded Adaptivity
    AISTATS 2024 ·
    Diptarka Chakraborty
    ,
    Sourav Chakraborty
    ,
    Gunjan Kumar
    , Kuldeep S. Meel
  16. Exact ASP Counting with Compact Encodings
    AAAI 2024 ·
    Mohimenul Kabir
    ,
    Supratik Chakraborty
    , Kuldeep S. Meel
  17. Locally-Minimal Probabilistic Explanations
    ECAI 2024 ·
    Yacine Izza
    , Kuldeep S. Meel,
    João Marques-Silva
  18. Model Counting in the Wild
    KR 2024 ·
    Arijit Shaw
    , Kuldeep S. Meel
  19. Total Variation Distance Meets Probabilistic Inference
    ICML 2024 ·
    Arnab Bhattacharyya
    ,
    Sutanu Gayen
    , Kuldeep S. Meel,
    Dimitrios Myrisiotis
    ,
    A. Pavan
    ,
    N. V. Vinodchandran