About Me

Hi! I am a third year PhD student of Computer Science at the National University of Singapore.

I am interested in verifying probabilistic programs.

Research Interests

Distribution Testing.

Verification of Probabilistic Programs.

SAT Solvers and Model Counters.

Publications

  1. Yash Pote, Saurabh Joshi, Kuldeep S. Meel: Phase Transition Behaviour of Cardinality and XOR Constraints (IJCAI-19) abstract,cite,slides,video

  2. Kuldeep S. Meel ® Yash Pote ® Sourav Chakraborty: On Testing of Samplers (NeurIPS-20) abstract,cite,slides,video

  3. Durgesh Agrawal, Yash Pote, Kuldeep S. Meel: Partition Function Estimation: A Quantitative Study (IJCAI-21) abstract,cite,poster

  4. Yash Pote ® Kuldeep S. Meel: Testing Probabilistic Circuits (NeurIPS-21) abstract,cite


Collaborators

Research Group

I work in the Meel Research Group. We are situated in the School of Computing in NUS.


Theme