About Me
Hi! I am a first year PhD student of Computer Science at the National University of Singapore.
I broadly work in the field of Logic and Probabilistic Reasoning. I am currently working on verifying probabilistic programs.
Research Interests
SAT
Property Testing
Probabilistic Reasoning
Publications
-
Yash Pote, Saurabh Joshi, Kuldeep S. Meel: Phase Transition Behaviour of Cardinality and XOR Constraints (IJCAI-19) abstract,cite,slides
-
Kuldeep S. Meel ® Yash Pote ® Sourav Chakraborty: On Testing of Samplers (NeuRIPS-20) abstract,cite
Posts
Some stuff I have written.
| Year | Title | Relvant Papers |
|---|---|---|
| 2019 | Phase Transitions and Counting | [1], a, b |
| 2020 | Testing Probabilistic Programs | [2], c |
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.