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 yashppote@gmail.com.
Publications
® indicates random author ordering.
Distribution Testing
[12] Zero-Shot Attribution for Large Language Models: A Distribution Testing Approach (under submission) code
Clément L. Canonne, Yash Pote, Uddalok Sarkar
[11] Learning Probabilistic Temporal Logic Specifications for Stochastic Systems (IJCAI-25)
Rajarshi Roy, Yash Pote, David Parker and Marta Kwiatkowska
[10] Distance Estimation for High-Dimensional Discrete Distributions (AISTATS-25)
Gunjan Kumar ® Kuldeep S. Meel ® Yash Pote
[9] Testing Self-Reducible Samplers (AAAI-24) code
Rishiraj Bhattacharyya, Sourav Chakraborty, Yash Pote, Uddalok Sarkar, Sayantan Sen
[8] On Scalable Testing of Samplers (NeurIPS-22) , code
Yash Pote ® Kuldeep S. Meel
[7] Testing Probabilistic Circuits (NeurIPS-21) , code
Yash Pote ® Kuldeep S. Meel
[6] On Testing of Samplers (NeurIPS-20) , slides, video, code
Kuldeep S. Meel ® Yash Pote ® Sourav Chakraborty
Combinatorial Solving
[5] Towards Real-Time Approximate Counting (AAAI-25)
Selected for oral presentation (4.6% of submitted papers)
Yash Pote ® Kuldeep S. Meel ® Jiong Yang
[4] Partition Function Estimation: A Quantitative Study (IJCAI-21) , poster
Durgesh Agrawal, Yash Pote, Kuldeep S. Meel
[3] Phase Transition Behaviour of Cardinality and XOR Constraints (IJCAI-19)
, code, slides, video
Yash Pote, Saurabh Joshi, Kuldeep S. Meel
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