Arijit Shaw

Automated Reasoning | Satisfiability Modulo Theories

profile_pic.png

Hi! I’m a joint PhD student at Chennai Mathematical Institute and IAI, TCG CREST, advised by Kuldeep S. Meel. Currently, I am a visiting scholar at the Georgia Institute of Technology.

My work explores the quantitative dimensions of Satisfiability Modulo Theories (SMT). I’m interested about extending SMT solvers to answer quantitative queries and developing techniques for sampling from SMT solution spaces. We have developed volume computing tool for SMT LRA formulas [KR’25,ttc], counting tools for hybrid SMT formulas [DAC’25, pact], bit-vectors formulas [SMT’24, csb] and Skolem functions [AAAI’24, SkolemFC]. We have uniform sampler for bit-vector formulas [SMT’24, csb] as well.

I’m particularly enthusiastic about seeing my research make real-world impact. My tools have promising applications in verifying AI systems (examining robustness and fairness properties), software verification, and analysis of cyber-physical systems. If you believe these tools or my research might benefit your work, please get in touch!

My curiosity extends to understanding the inner workings of automated reasoning systems. I’ve used causality to gain insights into SAT solvers [SAT’23], investigated the behavior of model counters on practical instances [KR’24], and designed innovative phase selection heuristics for SAT solvers [SAT’20].

See my CV here, DBLP here. Mail me at arijit.shaw at tcgcrest.org.

news

Jul 11, 2025 Our paper on volume computation of SMT formulas got accepted at KR ‘25.
Jul 03, 2025 Attending FM Update Meeting at Gandhinagar. Will be presenting a summary of my research.
Jun 22, 2025 Attending DAC ‘25 in San Francisco! Will be presenting our paper on counting of hybrid SMT formulas.
Aug 21, 2024 Had a great time at SAT ‘24 in Pune! Co-organizing the Model Counting Competition was intense but a lot of fun. I also presented at the SAT-SMT school and model counting workshop.
Jul 25, 2024 Our paper on efficiency of model counters on practical problems got accepted at KR ‘24.

selected publications

  1. KR
    Efficient Volume Computation for SMT Formulas
    Arijit Shaw, Uddalok Sarkar, and Kuldeep S Meel
    In Proceedings of Knowledge Representation and Reasoning (KR), Nov 2025
  2. DAC
    Approximate SMT Counting Beyond Discrete Domains
    Arijit Shaw, and Kuldeep S Meel
    In Proceedings of Design Automation Conference (DAC), Jun 2025
  3. AAAI
    An Approximate Skolem Function Counter
    Arijit Shaw, Brendan Juba, and Kuldeep S Meel
    In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), Feb 2024
  4. SMT
    CSB: A Counting and Sampling Tool for Bitvectors
    Arijit Shaw, and Kuldeep S Meel
    In Proceedings of International Workshop on Satisfiability Modulo Theories,(SMT), Jun 2024
  5. KR
    Model Counting in the Wild
    Arijit Shaw, and Kuldeep S. Meel
    In Proceedings of International Conference on Knowledge Representation and Reasoning (KR), Nov 2024
  6. SAT
    Explaining SAT Solving Using Causal Reasoning
    Jiong Yang, Arijit Shaw, Teodora Baluta, and 2 more authors
    In Proceedings of the Theory and Applications of Satisfiability Testing (SAT), Jul 2023
  7. SAT
    Designing new phase selection heuristics
    Arijit Shaw, and Kuldeep S Meel
    In Proceedings of the Theory and Applications of Satisfiability Testing (SAT), Jun 2020