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 | 15 | 2019 |
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 | 9 | 2018 |
Classification Rules in Relaxed Logical Form B Ghosh, D Malioutov, KS Meel Proceedings of ECAI, 2020., 2020 | 2 | 2020 |
Probably Approximately Correct Explanations of Machine Learning Models via Syntax-Guided Synthesis D Neider, B Ghosh arXiv preprint arXiv:2009.08770, 2020 | | 2020 |
Justicia: A Stochastic SAT Approach to Formally Verify Fairness B Ghosh, D Basu, KS Meel arXiv preprint arXiv:2009.06516, 2020 | | 2020 |
A Formal Language Approach to Explaining RNNs B Ghosh, D Neider arXiv preprint arXiv:2006.07292, 2020 | | 2020 |
A MaxSAT-based Framework for Group Testing L Ciampiconi, B Ghosh, J Scarlett, KS Meel Proceedings of AAAI, 2020., 2020 | | 2020 |
MaxSAT Queries in The Design of Interpretable Rule-based Classifiers B Ghosh, D Malioutov, KS Meel MaxSAT Evaluation 2019, 41, 2019 | | 2019 |