Chakraborty, Sourav

8 publications

AISTATS 2024 Equivalence Testing: The Power of Bounded Adaptivity Diptarka Chakraborty, Sourav Chakraborty, Gunjan Kumar, Kuldeep Meel

AAAI 2024 Testing Self-Reducible Samplers Rishiraj Bhattacharyya, Sourav Chakraborty, Yash Pote, Uddalok Sarkar, Sayantan Sen

IJCAI 2023 Engineering an Efficient Approximate DNF-Counter Mate Soos, Divesh Aggarwal, Sourav Chakraborty, Kuldeep S. Meel, Maciej Obremski

AISTATS 2023 Testing of Horn Samplers Ansuman Banerjee, Shayak Chakraborty, Sourav Chakraborty, Kuldeep S. Meel, Uddalok Sarkar, Sayantan Sen

COLT 2023 Testing of Index-Invariant Properties in the Huge Object Model Sourav Chakraborty, Eldar Fischer, Arijit Ghosh, Gopinath Mishra, Sayantan Sen

IJCAI 2022 On Verifying Expectations and Observations of Intelligent Agents Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber

NeurIPS 2020 On Testing of Samplers Kuldeep S Meel, Yash Pralhad Pote, Sourav Chakraborty

AAAI 2019 On Testing of Uniform Samplers Sourav Chakraborty, Kuldeep S. Meel