6 citations · 14 across the 10 of their papers we have counts for
10 papers
A Linear Temporal Logic of Frequencies on Series of Events
Melissa Antonelli, Leonardo Ceragioli, Alessandro Giuseppe Buda +1
This paper introduces LTLF, a temporal logic designed to express the frequency properties of event series in a natural but rigorous manner. By introducing novel, measure-sensitive…
A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
Leonardo Ceragioli, Giuseppe Primiero
In this article we propose an extension to the typed natural deduction calculus TNDPQ to model verification of counterfactual fairness in probabilistic classifiers. This is obtaine…
A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
Leonardo Ceragioli, Giuseppe Primiero
In this article we propose an extension to the typed natural deduction calculus TNDPQ to model verification of individual fairness and intersectionality in probabilistic classifier…
Trustworthiness Preservation by Copies of Machine Learning Systems
Leonardo Ceragioli, Giuseppe Primiero
A common practice of ML systems development concerns the training of the same model under different data sets, and the use of the same (training and test) sets for different learni…
Data quality dimensions for fair AI
Camilla Quaresmini, Giuseppe Primiero
Artificial Intelligence (AI) systems are not intrinsically neutral and biases trickle in any type of technological tool. In particular when dealing with people, the impact of AI al…
A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs
Francesco A. Genco, Giuseppe Primiero
The extensive deployment of probabilistic algorithms has radically changed our perspective on several well-established computational notions. Correctness is probably the most basic…