Follow
Bishwamittra Ghosh
Bishwamittra Ghosh
Postdoctoral Researcher, MPI-SWS, Germany
Verified email at u.nus.edu - Homepage
Title
Cited by
Cited by
Year
Justicia: A Stochastic SAT Approach to Formally Verify Fairness
B Ghosh, D Basu, KS Meel
Proceedings of AAAI, 2021, 2021
412021
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
382019
The Flexible Socio Spatial Group Queries
B Ghosh, ME Ali, FM Choudhury, SH Apon, T Sellis, J Li
Proceedings of the VLDB Endowment 12 (2), 99-111, 2018
312018
Algorithmic Fairness Verification with Graphical Models
B Ghosh, D Basu, KS Meel
Proceedings of AAAI, 2022, 2022
172022
A MaxSAT-based Framework for Group Testing
L Ciampiconi, B Ghosh, J Scarlett, KS Meel
Proceedings of AAAI, 2020, 2020
92020
Efficient Learning of Interpretable Classification Rules
B Ghosh, D Malioutov, KS Meel
Journal of Artificial Intelligence Research (JAIR) 74, 1823-1863, 2022
82022
Classification Rules in Relaxed Logical Form
B Ghosh, D Malioutov, KS Meel
Proceedings of ECAI, 2020, 2020
82020
How Biased are Your Features?: Computing Fairness Influence Functions with Global Sensitivity Analysis
B Ghosh, D Basu, KS Meel
Proceedings of FAccT 2023, 2023
72023
Neighborhood-based Hypergraph Core Decomposition
NA Arafat, A Khan, AK Rai, B Ghosh
Proceedings of VLDB 2023, 2023
52023
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
52021
Probably approximately correct explanations of machine learning models via syntax-guided synthesis
D Neider, B Ghosh
arXiv preprint arXiv:2009.08770, 2020
22020
Understanding the Mechanics and Dynamics of Memorisation in Large Language Models: A Case Study with Random Strings
T Speicher, AM Khan, Q Wu, V Nanda, S Das, B Ghosh, KP Gummadi, ...
12023
A formal language approach to explaining rnns
B Ghosh, D Neider
arXiv preprint arXiv:2006.07292, 2020
12020
Don't Forget What I did?: Assessing Client Contributions in Federated Learning
B Ghosh, D Basu, F Huazhu, W Yuan, R Kanagavelu, JJ Peng, L Yong, ...
arXiv preprint arXiv:2403.07151, 2024
2024
Interpretability and Fairness in Machine Learning: A Formal Methods Approach
B Ghosh
National University of Singapore, 2023
2023
Interpretability and Fairness in Machine Learning: A Formal Methods Approach
B Ghosh
National University of Singapore, 2023
2023
MaxSAT Queries in The Design of Interpretable Rule-based Classifiers
B Ghosh, D Malioutov, KS Meel
MaxSAT Evaluation 2019, 41, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–17