research
∙
05/11/2023
Data quality dimensions for fair AI
AI systems are not intrinsically neutral and biases trickle in any type ...
share
research
∙
02/02/2023
A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs
The extensive deployment of probabilistic algorithms has radically chang...
research
∙
06/26/2022
Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
In this paper we present the probabilistic typed natural deduction calcu...
research
∙
03/08/2021