research
∙
01/16/2023
Neighborhood-based Hypergraph Core Decomposition
We propose neighborhood-based core decomposition: a novel way of decompo...
share
research
∙
06/01/2022
How Biased is Your Feature?: Computing Fairness Influence Functions with Global Sensitivity Analysis
Fairness in machine learning has attained significant focus due to the w...
research
∙
05/14/2022
Efficient Learning of Interpretable Classification Rules
Machine learning has become omnipresent with applications in various saf...
research
∙
09/20/2021
Algorithmic Fairness Verification with Graphical Models
In recent years, machine learning (ML) algorithms have been deployed in ...
research
∙
09/18/2020
Probably Approximately Correct Explanations of Machine Learning Models via Syntax-Guided Synthesis
We propose a novel approach to understanding the decision making of comp...
research
∙
09/14/2020
Justicia: A Stochastic SAT Approach to Formally Verify Fairness
As a technology ML is oblivious to societal good or bad, and thus, the f...
research
∙
06/12/2020
A Formal Language Approach to Explaining RNNs
This paper presents LEXR, a framework for explaining the decision making...
research
∙
01/07/2020