Hi! I'm a PhD student of Computer Science at Indian Statistical Institute. I am fortunate to be advised by Sourav Chakraborty and Kuldeep Meel. I am a part of Meelgroup.

My current research interest lies in the intersection of distribution testing and formal verification. I look into applying theory of distribution testing towards building robust verifiers for testing real-world distributions, like, samplers or generative models. Broadly, I am interested in problems that lie in the intersection of theory and practice.

My research has been recognized and supported by the Google PhD Fellowship (2023–2027).

CV Distribution Testing

News

  • [2026] "Instance Dependent Testing of Samplers using Interval Conditioning" accepted at AAAI 2026 (arXiv, code).
  • [2025] Won Best Student Paper Award at KR 2025 for "Efficient Volume Computation for SMT Formulas".
  • [2025] "Assessing the Quality of Binomial Samplers: A Statistical Distance Framework" accepted at CAV 2025.
  • [2025] New preprint: "Zero-Shot Attribution for Large Language Models: A Distribution Testing Approach" (arXiv).
  • [2025] New preprint: "Quantifying the Inexactness of Poisson Distributions in Standard Libraries" (pdf).

Publications

AAAI 2026
Instance Dependent Testing of Samplers using Interval Conditioning
Under Review
Quantifying the Inexactness of Poisson Distributions in Standard Libraries
KR 2025 ★ Best Student Paper
Efficient Volume Computation for SMT Formulas
Under Review
Zero-Shot Attribution for Large Language Models: A Distribution Testing Approach
CAV 2025
Assessing the Quality of Binomial Samplers: A Statistical Distance Framework
Under Review
Engineering an Efficient Approximate DNF-Counter
AAAI 2024
Testing Self Reducible Samplers
AISTATS 2023
Testing of Horn Sampler

Thesis

Testing of Horn Sampler — Masters' Thesis

Awards & Fellowships

Teaching

Beyond Research