2 papers
cs.LO2024
An implicit function theorem for the stream calculus
Michele Boreale, Luisa Collodi, Daniele Gorla
In the context of the stream calculus, we present an Implicit Function Theorem (IFT) for polynomial systems, and discuss its relations with the classical IFT from calculus. In part…
cs.LG2024
BaBE: Enhancing Fairness via Estimation of Latent Explaining Variables
Ruta Binkyte, Daniele Gorla, Catuscia Palamidessi
We consider the problem of unfair discrimination between two groups and propose a pre-processing method to achieve fairness. Corrective methods like statistical parity usually lead…