Follow
Bishwamittra Ghosh
Title
Cited by
Cited by
Year
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
252019
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
242018
Justicia: A Stochastic SAT Approach to Formally Verify Fairness
B Ghosh, D Basu, KS Meel
Proceedings of AAAI, 2021, 2021
232021
Algorithmic Fairness Verification with Graphical Models
B Ghosh, D Basu, KS Meel
Proceedings of AAAI, 2022, 2022
82022
A MaxSAT-based Framework for Group Testing
L Ciampiconi, B Ghosh, J Scarlett, KS Meel
Proceedings of AAAI, 2020, 2020
62020
Classification Rules in Relaxed Logical Form
B Ghosh, D Malioutov, KS Meel
Proceedings of ECAI, 2020, 2020
52020
Efficient Learning of Interpretable Classification Rules
B Ghosh, D Malioutov, KS Meel
Journal of Artificial Intelligence Research (JAIR) 74, 1823-1863, 2022
32022
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
22021
How Biased are Your Features?: Computing Fairness Influence Functions with Global Sensitivity Analysis
B Ghosh, D Basu, KS Meel
arXiv preprint arXiv:2206.00667, 2022
12022
A formal language approach to explaining rnns
B Ghosh, D Neider
arXiv preprint arXiv:2006.07292, 2020
12020
Neighborhood-based Hypergraph Core Decomposition
NA Arafat, A Khan, AK Rai, B Ghosh
arXiv preprint arXiv:2301.06426, 2023
2023
Probably Approximately Correct Explanations of Machine Learning Models via Syntax-Guided Synthesis
D Neider, B Ghosh
arXiv preprint arXiv:2009.08770, 2020
2020
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–13