| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Sat, 27 Dec 2025 11:19:51 GMT
access-control-allow-origin: *
etag: W/"694fc0d7-2a62"
expires: Tue, 30 Dec 2025 10:32:42 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 9299:318CF6:9E3275:B1C209:6953A7F0
accept-ranges: bytes
age: 0
date: Tue, 30 Dec 2025 10:22:42 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210029-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767090162.460606,VS0,VE213
vary: Accept-Encoding
x-fastly-request-id: c0e525ce4e6cad47f1b474d8c783c4b5515da0cd
content-length: 3014
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 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.
Selected Publications
Distance Estimation for High-Dimensional Discrete Distributions
(AISTATS-25)
Gunjan Kumar ® Kuldeep S. Meel ® Yash Pote code
Gunjan Kumar ® Kuldeep S. Meel ® Yash Pote code
Towards Real-Time Approximate Counting
(AAAI-25)
Yash Pote ® Kuldeep S. Meel ® Jiong Yang Selected for oral presentation (4.6% of submitted papers)
code
Yash Pote ® Kuldeep S. Meel ® Jiong Yang Selected for oral presentation (4.6% of submitted papers)
code
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
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
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
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
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
Rishiraj Bhattacharyya, Sourav Chakraborty, Yash Pote, Uddalok Sarkar, Sayantan Sen code
[6] On Testing of Samplers
(NeurIPS-20)
Kuldeep S. Meel ® Yash Pote ® Sourav Chakraborty slides video code
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
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
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
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
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
Dehui Lin, Yasamin Tabatabaee, Yash Pote, Djordje Jevdjic