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

SAT

Property Testing

Probabilistic Reasoning

Publications

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

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

---

Collaborators

• Kuldeep S. Meel: NUS
• Saurabh Joshi: IIT-H
• Sourav Chakraborty: ISI
• Durgesh Agarwal: IIT-K

Research Group

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

---

Theme