Bishwamittra Ghosh
Bishwamittra Ghosh
Verifierad e-postadress på u.nus.edu - Startsida
Titel
Citeras av
Citeras av
År
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
172019
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
122018
Classification Rules in Relaxed Logical Form
B Ghosh, D Malioutov, KS Meel
Proceedings of ECAI, 2020., 2020
32020
Justicia: A Stochastic SAT Approach to Formally Verify Fairness
B Ghosh, D Basu, KS Meel
arXiv preprint arXiv:2009.06516, 2020
12020
A MaxSAT-based Framework for Group Testing
L Ciampiconi, B Ghosh, J Scarlett, KS Meel
Proceedings of AAAI, 2020., 2020
12020
Probably Approximately Correct Explanations of Machine Learning Models via Syntax-Guided Synthesis
D Neider, B Ghosh
arXiv preprint arXiv:2009.08770, 2020
2020
A Formal Language Approach to Explaining RNNs
B Ghosh, D Neider
arXiv preprint arXiv:2006.07292, 2020
2020
MaxSAT Queries in The Design of Interpretable Rule-based Classifiers
B Ghosh, D Malioutov, KS Meel
MaxSAT Evaluation 2019, 41, 2019
2019
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–8