I am a final year Computer Science Ph.D. student at the National University of Singapore, where I am fortunate to be advised by Kuldeep S. Meel.
My main interests are in distribution testing and formal methods. Specifically, I want to explore and apply the theory of distribution testing to build faster verification tools for real-world distributions, such as samplers and generative models. 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.
® indicates random author ordering.
Distance Estimation in High Dimensions with Subcube Conditioning
Gunjan Kumar ® Kuldeep S. Meel ® Yash Pote
Testing Self-Reducible Samplers (AAAI-24) bib, code
Rishiraj Bhattacharyya, Sourav Chakraborty, Yash Pote, Uddalok Sarkar, Sayantan Sen
On Scalable Testing of Samplers (NeurIPS-22) bib, code
Yash Pote ® Kuldeep S. Meel
Testing Probabilistic Circuits (NeurIPS-21) bib, code
Yash Pote ® Kuldeep S. Meel
On Testing of Samplers (NeurIPS-20) bib, slides, video, code
Kuldeep S. Meel ® Yash Pote ® Sourav Chakraborty
Partition Function Estimation: A Quantitative Study (IJCAI-21) bib, poster
Durgesh Agrawal, Yash Pote, Kuldeep S. Meel
Phase Transition Behaviour of Cardinality and XOR Constraints (IJCAI-19) bib, code, slides, video
Yash Pote, Saurabh Joshi, Kuldeep S. Meel
Efficiently Supporting Hierarchy and Data Updates in DNA Storage (MICRO-23)
Puru Sharma, Cheng-Kai Lim, Dehui Lin, Yash Pote, Djordje Jevdjic
Managing Reliability Skew in DNA Storage (ISCA-22)
Dehui Lin, Yasamin Tabatabaee, Yash Pote, Djordje Jevdjic
I work in the Meel Research Group. We are situated in NUS and the University of Toronto.