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