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.
® indicates random author ordering.
Distance Estimation in High Dimensions with Subcube Conditioning
Gunjan Kumar ® Kuldeep S. Meel ® Yash Pote
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