9

Formally Verified Algorithmic Fairness using Information-Flow Tools (Extended Abstract)
We demonstrate preliminary results on strong connections between Information Flow and Algorithmic Fairness Analysis
Samuel Teuber, Bernhard Beckert
PDF Cite
Formally Verified Algorithmic Fairness using Information-Flow Tools (Extended Abstract)