56 citations · 122 across the 22 of their papers we have counts for
4 papers · 1 filter
Navigating Ensemble Configurations for Algorithmic Fairness
Michael Feffer, Martin Hirzel, Samuel C. Hoffman +3
Bias mitigators can improve algorithmic fairness in machine learning models, but their effect on fairness is often not stable across data splits. A popular approach to train more s…
Translating Canonical SQL to Imperative Code in Coq
Véronique Benzaken, Évelyne Contejean, Mohammed Houssem Hachmaoui +4
SQL is by far the most widely used and implemented query language. Yet, on some key features, such as correlated queries and NULL value semantics, many implementations diverge or c…
Formalization of a Stochastic Approximation Theorem
Koundinya Vajjha, Barry Trager, Avraham Shinnar +1
Stochastic approximation algorithms are iterative procedures which are used to approximate a target value in an environment where the target is unknown and direct observations are…
An Empirical Study of Modular Bias Mitigators and Ensembles
Michael Feffer, Martin Hirzel, Samuel C. Hoffman +3
There are several bias mitigators that can reduce algorithmic bias in machine learning models but, unfortunately, the effect of mitigators on fairness is often not stable when meas…