Hi! I am a fourth year PhD student of Computer Science at the National University of Singapore.
I am interested in verifying probabilistic programs.
Distribution Testing.
SAT/SMT Solving.
Probabilistic Programming.
® indicates random author ordering.
Yash Pote ® Kuldeep S. Meel: On Scalable Testing of Samplers (NeurIPS-22) abstract,cite
Dehui Lin, Yasamin Tabatabaee, Yash Pote, Djordje Jevdjic: Managing Reliability Skew in DNA Storage (ISCA-22)
Yash Pote ® Kuldeep S. Meel: Testing Probabilistic Circuits (NeurIPS-21) abstract,cite
Durgesh Agrawal, Yash Pote, Kuldeep S. Meel: Partition Function Estimation: A Quantitative Study (IJCAI-21) abstract,cite,poster
Kuldeep S. Meel ® Yash Pote ® Sourav Chakraborty: On Testing of Samplers (NeurIPS-20) abstract,cite,slides,video
Yash Pote, Saurabh Joshi, Kuldeep S. Meel: Phase Transition Behaviour of Cardinality and XOR Constraints (IJCAI-19) abstract,cite,slides,video
I work in the Meel Research Group. We are situated in the School of Computing in NUS.