Leonardo Ceragioli

According to our database, Leonardo Ceragioli authored at least 6 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI.

Alessandro Giuseppe Buda, Giuseppe Primiero, Leonardo Ceragioli, Melissa Antonelli

CoRR, April, 2026

A Linear Temporal Logic of Frequencies on Series of Events.

Melissa Antonelli, Leonardo Ceragioli, Alessandro Giuseppe Buda, Giuseppe Primiero

CoRR, April, 2026

Trustworthiness preservation by copies of machine learning systems.

Leonardo Ceragioli, Giuseppe Primiero

Int. J. Approx. Reason., 2026

2025

A Proof System with Causal Labels (Part II): checking Counterfactual Fairness.

Leonardo Ceragioli, Giuseppe Primiero

Proceedings of the Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, 2025

A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality.

Leonardo Ceragioli, Giuseppe Primiero

Proceedings of the Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, 2025

2022

Single-Assumption Systems in Proof-Theoretic Semantics.

Leonardo Ceragioli

J. Philos. Log., 2022