Pote, Yash

7 publications

AISTATS 2025 Distance Estimation for High-Dimensional Discrete Distributions Kuldeep S. Meel, Gunjan Kumar, Yash Pote
IJCAI 2025 Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Rajarshi Roy, Yash Pote, Dave Parker, Marta Kwiatkowska
AAAI 2025 Towards Real-Time Approximate Counting Yash Pote, Kuldeep S. Meel, Jiong Yang
AAAI 2024 Testing Self-Reducible Samplers Rishiraj Bhattacharyya, Sourav Chakraborty, Yash Pote, Uddalok Sarkar, Sayantan Sen
NeurIPS 2022 On Scalable Testing of Samplers Yash Pote, Kuldeep S Meel
IJCAI 2021 Partition Function Estimation: A Quantitative Study Durgesh Agrawal, Yash Pote, Kuldeep S. Meel
IJCAI 2019 Phase Transition Behavior of Cardinality and XOR Constraints Yash Pote, Saurabh Joshi, Kuldeep S. Meel