activity
20202024
most citedIMLI: An Incremental Framework for MaxSAT-Based Learning of Interpretable Classification Rules

21 citations · 43 across the 6 of their papers we have counts for

collaborators

7 papers

cs.LG2024

History-Aware and Dynamic Client Contribution in Federated Learning

Bishwamittra Ghosh, Debabrota Basu, Fu Huazhu +6

Federated Learning (FL) is a collaborative machine learning (ML) approach, where multiple clients participate in training an ML model without exposing their private data. Fair and…

cs.LG2022★ 9 cited

How Biased are Your Features?: Computing Fairness Influence Functions with Global Sensitivity Analysis

Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel

Fairness in machine learning has attained significant focus due to the widespread application in high-stake decision-making tasks. Unregulated machine learning classifiers can exhi…

cs.LG2022★ 12 cited

Efficient Learning of Interpretable Classification Rules

Bishwamittra Ghosh, Dmitry Malioutov, Kuldeep S. Meel

Machine learning has become omnipresent with applications in various safety-critical domains such as medical, law, and transportation. In these domains, high-stake decisions provid…

cs.AI2020

Probably Approximately Correct Explanations of Machine Learning Models via Syntax-Guided Synthesis

Daniel Neider, Bishwamittra Ghosh

We propose a novel approach to understanding the decision making of complex machine learning models (e.g., deep neural networks) using a combination of probably approximately corre…

cs.AI2020

Justicia: A Stochastic SAT Approach to Formally Verify Fairness

Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel

As a technology ML is oblivious to societal good or bad, and thus, the field of fair machine learning has stepped up to propose multiple mathematical definitions, algorithms, and s…

cs.AI2020★ 1 cited

A Formal Language Approach to Explaining RNNs

Bishwamittra Ghosh, Daniel Neider

This paper presents LEXR, a framework for explaining the decision making of recurrent neural networks (RNNs) using a formal description language called Linear Temporal Logic (LTL).…