Yash Pote

I am a Research Fellow (postdoc) at the National University of Singapore, where I am advised by Jonathan Scarlett. I completed my Ph.D. at NUS, where I was advised by Kuldeep S. Meel. Prior to that I recieved a B.Tech. in Computer Science and Engineering from IIT-Guwahati.

I’m broadly interested in the theory and practice of probabilistic formal methods. Most of my work is on developing techniques in distribution testing with the aim of faster verification tools for real-world distributions, such as samplers, generative models, and bandits. More generally, I am interested in the use of formal methods (like combinatorial solving) in machine learning.

Here is my CV. You can reach me at yashppote@gmail.com.

Publications

® indicates random author ordering.

Distribution Testing

  1. Learning Probabilistic Temporal Logic Specifications for Stochastic Systems (IJCAI-25)
    Rajarshi Roy, Yash Pote, David Parker and Marta Kwiatkowska

  2. Distance Estimation for High-Dimensional Discrete Distributions (AISTATS-25)
    Gunjan Kumar ® Kuldeep S. Meel ® Yash Pote

  3. Testing Self-Reducible Samplers (AAAI-24)
    Rishiraj Bhattacharyya, Sourav Chakraborty, Yash Pote, Uddalok Sarkar, Sayantan Sen

  4. On Scalable Testing of Samplers (NeurIPS-22) bib, code
    Yash Pote ® Kuldeep S. Meel

  5. Testing Probabilistic Circuits (NeurIPS-21) bib, code
    Yash Pote ® Kuldeep S. Meel

  6. On Testing of Samplers (NeurIPS-20) bib, slides, video, code
    Kuldeep S. Meel ® Yash Pote ® Sourav Chakraborty

Combinatorial Solving

  1. Towards Real-Time Approximate Counting (AAAI-25) bib
    Selected for oral presentation (4.6% of submitted papers)
    Yash Pote ® Kuldeep S. Meel ® Jiong Yang

  2. Partition Function Estimation: A Quantitative Study (IJCAI-21) bib, poster
    Durgesh Agrawal, Yash Pote, Kuldeep S. Meel

  3. Phase Transition Behaviour of Cardinality and XOR Constraints (IJCAI-19)
    bib, code, slides, video
    Yash Pote, Saurabh Joshi, Kuldeep S. Meel

DNA Data Storage

  1. Efficiently Supporting Hierarchy and Data Updates in DNA Storage (MICRO-23)
    Puru Sharma, Cheng-Kai Lim, Dehui Lin, Yash Pote, Djordje Jevdjic

  2. Managing Reliability Skew in DNA Storage (ISCA-22)
    Dehui Lin, Yasamin Tabatabaee, Yash Pote, Djordje Jevdjic

Theme