Two of our papers were accepted to LPAR-26, held in Spetses, Greece, on October 25–30, 2026:
Our 2026 publications include four journal articles and four conference papers on counting, sampling, synthesis, and verification.
Our paper “Quantifying Sensitivity for Tree Ensembles: A Symbolic and Compositional Approach” (with Ajinkya Naik, Chaitanya Garg, S. Akshay, and Ashutosh Gupta) is accepted to CAV-26.
Our KR-25 paper received the Marco Cadoli Best Student Paper Award. Congratulations to our students, Arijit Shaw and Uddalok Sarkar.
Our paper “Provable Guarantees in Approximate Synthesis” (with Kushagra Gupta, Priyanka Golia, and Subhajit Roy) is accepted to DATE-26.
Our paper “The Limitations and Power of NP-Oracle-Based Functional Synthesis Techniques” (with Brendan Juba) is accepted to AAAI-26.
Our paper “Solution-Aware Vs Global ReLU Selection: Partial MILP Strikes Back for DNN Verification” (with Yuke Liao, Blaise Genest, and Shaan Aryaman) is accepted to ATVA 2025.
Our paper “Counting and Sampling Traces in Regular Languages” (with Alexis de Colnet and Umang Mathur) is accepted to POPL 2026.
Our paper "#CFG and #DNNF admit FPRAS” (with Alexis de Colnet) is accepted to SODA 2026.
Our paper “Towards Practical Zero-Knowledge Proof for PSPACE” (with Ashwin Karthikeyan, Hengyu Liu, and Ning Luo) is accepted to IEEE S&P 2026.
Our paper “Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks” (with Mohimenul Kabir, Van-Giang Trinh, and Samuel Pastva) is accepted to CP 2025.
Four of our papers are accepted to SAT 2025:
Our paper “Verification of the CVM Algorithm with a Functional Probabilistic Invariant” (with Emin Karayel, Seng Joe Watt, Derek Khu, and Yong Kiam Tan) is accepted to ITP 2025.
We have three papers accepted to CAV 2025:
Our paper “Approximate SMT Counting Beyond Discrete Domains” (with Arijit Shaw) is accepted to DAC 2025.
Our paper “An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs” (with Alexis de Colnet) is accepted to ICDT 2025.
AISTATS-25: Distance Estimation for High-Dimensional Discrete Distributions (Gunjan Kumar, Kuldeep S. Meel, and Yash Pote)
We have three papers accepted to AAAI-25.
The first paper takes a step towards real-time approximate model counting. Joint work with Jiong Yang and Yash Pote.
The second paper focuses on probabilistic explanations for linear models. Joint work with Bernardo Subercaseaux and Marcelo Arenas.
The third paper focuses on projected and incremental pseudo-boolean model counting. Joint work with Suwei Yang.
Our ICLP paper received Best Paper Award at ICLP-24. Joint work with Mahi Kabir. Congratulations Mahi!
Our CAV-24 paper received Distinguished Paper Award. This is second consecutive Distinguished Paper Award for our group at CAV and both of these papers are led by Jiong. Congratulations Jiong!
Our paper analyzing the performance of model counting tools in the wild is accepted to KR 2024. We showcase the limitations of competition results in predicting the performance for benchmarks arising in practice.
Four of our advisees were in job market this past academic year and all of them managed to secure tenure-track positions in four countries across three continents. Congratulations!
Our paper characterizing the complexity of total variation distance estimation and probabilistic inference is accepted to ICML 2024. Our paper shows that estimating TV distance admits FPRAS if the underlying inference queries can be performed in polynomial time.
Our paper on engineering an efficient preprocessor for model counting is accepted to DAC 2024. Joint work with Mate Soos.
We have two papers accepted to
PODS-24.
The first paper, co-authored with Sourav Chakraborty and Umang Mathur presents a faster FPRAS for counting the number of words accepted by NFA.
The second paper, co-authored with Pavan Aduri, Sourav Chakraborty, and N.V. Vinodchandran introduces the model of right to be forgotten in the context of streaming.