| Justicia: A Stochastic SAT Approach to Formally Verify Fairness B Ghosh, D Basu, KS Meel Proceedings of AAAI, 2021, 2021 | 61 | 2021 |
| IMLI: An Incremental Framework for MaxSAT-Based Learning of Interpretable Classification Rules B Ghosh, KS Meel Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, AIES …, 2019 | 47 | 2019 |
| The Flexible Socio Spatial Group Queries B Ghosh, ME Ali, FM Choudhury, SH Apon, T Sellis, J Li Proceedings of VLDB 2018 12 (2), 99-111, 2018 | 36 | 2018 |
| Algorithmic Fairness Verification with Graphical Models B Ghosh, D Basu, KS Meel Proceedings of AAAI, 2022, 2022 | 31 | 2022 |
| Neighborhood-based Hypergraph Core Decomposition NA Arafat, A Khan, AK Rai, B Ghosh Proceedings of VLDB 2023, 2023 | 29 | 2023 |
| How Biased are Your Features?: Computing Fairness Influence Functions with Global Sensitivity Analysis B Ghosh, D Basu, KS Meel Proceedings of FAccT 2023, 2023 | 21 | 2023 |
| Logical Consistency of Large Language Models in Fact-checking B Ghosh, S Hasan, NA Arafat, A Khan Proceedings of ICLR 2025, 2025 | 20 | 2025 |
| Towards Reliable Latent Knowledge Estimation in LLMs: Zero-Prompt Many-Shot Based Factual Knowledge Extraction Q Wu, MA Khan, S Das, V Nanda, B Ghosh, C Kolling, T Speicher, ... Proceedings of WSDM 2025, 2025 | 19* | 2025 |
| A MaxSAT-based Framework for Group Testing L Ciampiconi, B Ghosh, J Scarlett, KS Meel Proceedings of AAAI, 2020, 2020 | 19 | 2020 |
| Efficient Learning of Interpretable Classification Rules B Ghosh, D Malioutov, KS Meel Journal of Artificial Intelligence Research (JAIR) 74, 1823-1863, 2022 | 14 | 2022 |
| Understanding memorisation in llms: Dynamics, influencing factors, and implications T Speicher, MA Khan, Q Wu, V Nanda, S Das, B Ghosh, KP Gummadi, ... arXiv preprint arXiv:2407.19262, 2024 | 13 | 2024 |
| Classification Rules in Relaxed Logical Form B Ghosh, D Malioutov, KS Meel Proceedings of ECAI, 2020, 2020 | 11 | 2020 |
| Split learning of multi-modal medical image classification B Ghosh, Y Wang, H Fu, Q Wei, Y Liu, RSM Goh 2024 IEEE Conference on Artificial Intelligence (CAI), 1326-1331, 2024 | 6 | 2024 |
| Interpretability and Fairness in Machine Learning: A Formal Methods Approach B Ghosh National University of Singapore, 2023 | 6 | 2023 |
| Social-spatial group queries with keywords SH Apon, ME Ali, B Ghosh, T Sellis ACM Transactions on Spatial Algorithms and Systems (TSAS) 8 (1), 1-32, 2021 | 6 | 2021 |
| Active Fourier Auditor for Estimating Distributional Properties of ML Models A Ajarra, B Ghosh, D Basu Proceedings of AAAI 2025, 2025 | 4 | 2025 |
| History-Aware and Dynamic Client Contribution in Federated Learning B Ghosh, D Basu, F Huazhu, W Yuan, R Kanagavelu, JJ Peng, L Yong, ... Proceedings of ECAI 2025, 2025 | 3* | 2025 |
| Revisiting Privacy, Utility, and Efficiency Trade-offs when Fine-Tuning Large Language Models S Das, C Kolling, MA Khan, M Amani, B Ghosh, Q Wu, T Speicher, ... arXiv preprint arXiv:2502.13313, 2025 | 2 | 2025 |
| Probably approximately correct explanations of machine learning models via syntax-guided synthesis D Neider, B Ghosh arXiv preprint arXiv:2009.08770, 2020 | 2 | 2020 |
| A formal language approach to explaining rnns B Ghosh, D Neider arXiv preprint arXiv:2006.07292, 2020 | 2 | 2020 |
Kuldeep S. MeelAssociate Professor, University of TorontoVerified email at cs.toronto.edu
