Ghosh, Bishwamittra

8 publications

AAAI 2025 Active Fourier Auditor for Estimating Distributional Properties of ML Models Ayoub Ajarra, Bishwamittra Ghosh, Debabrota Basu

ICLR 2025 Logical Consistency of Large Language Models in Fact-Checking Bishwamittra Ghosh, Sarah Hasan, Naheed Anjum Arafat, Arijit Khan

NeurIPSW 2024 Active Fourier Auditor for Estimating Distributional Properties of ML Models Ayoub Ajarra, Bishwamittra Ghosh, Debabrota Basu

IJCAI 2023 Interpretability and Fairness in Machine Learning: A Formal Methods Approach Bishwamittra Ghosh

AAAI 2022 Algorithmic Fairness Verification with Graphical Models Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel

JAIR 2022 Efficient Learning of Interpretable Classification Rules Bishwamittra Ghosh, Dmitry Malioutov, Kuldeep S. Meel

AAAI 2021 Justicia: A Stochastic SAT Approach to Formally Verify Fairness Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel

AAAI 2020 A MaxSAT-Based Framework for Group Testing Lorenzo Ciampiconi, Bishwamittra Ghosh, Jonathan Scarlett, Kuldeep S. Meel