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 received 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 [email protected].

---

Selected Publications

---

All Publications

® indicates random author ordering.

Click to view full list

Distribution Testing

[14] A Distribution Testing Approach to Clustering Distributions
Gunjan Kumar, Yash Pote, Jonathan Scarlett

[13] Zero-Shot Attribution for Large Language Models: A Distribution Testing Approach Clément L. Canonne, Yash Pote, Uddalok Sarkar code

[12] Instance Dependent Testing of Samplers using Interval Conditioning (AAAI-26)
Rishiraj Bhattacharyya, Sourav Chakraborty, Yash Pote, Uddalok Sarkar, Sayantan Sen code

[11] Learning Probabilistic Temporal Logic Specifications for Stochastic Systems (IJCAI-25)
Rajarshi Roy, Yash Pote, David Parker, Marta Kwiatkowska code

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

[9] Testing Self-Reducible Samplers (AAAI-24)
Rishiraj Bhattacharyya, Sourav Chakraborty, Yash Pote, Uddalok Sarkar, Sayantan Sen code

[8] On Scalable Testing of Samplers (NeurIPS-22)
Yash Pote ® Kuldeep S. Meel code

[7] Testing Probabilistic Circuits (NeurIPS-21)
Yash Pote ® Kuldeep S. Meel code

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

Combinatorial Solving

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

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

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

DNA Data Storage

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

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

---

Theme