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
222019
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
202018
Justicia: A Stochastic SAT Approach to Formally Verify Fairness
B Ghosh, D Basu, KS Meel
Proceedings of AAAI, 2021, 2021
122021
Classification Rules in Relaxed Logical Form
B Ghosh, D Malioutov, KS Meel
Proceedings of ECAI, 2020, 2020
42020
Algorithmic Fairness Verification with Graphical Models
B Ghosh, D Basu, KS Meel
Proceedings of AAAI, 2022, 2022
32022
A MaxSAT-based Framework for Group Testing
L Ciampiconi, B Ghosh, J Scarlett, KS Meel
Proceedings of AAAI, 2020, 2020
32020
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
12021
A Formal Language Approach to Explaining RNNs
B Ghosh, D Neider
arXiv preprint arXiv:2006.07292, 2020
12020
How Biased is Your Feature?: Computing Fairness Influence Functions with Global Sensitivity Analysis
B Ghosh, D Basu, KS Meel
arXiv preprint arXiv:2206.00667, 2022
2022
Efficient Learning of Interpretable Classification Rules
B Ghosh, D Malioutov, KS Meel
arXiv preprint arXiv:2205.06936, 2022
2022
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–12