8 papers · 1 filter
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…
Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
Alessandro G. Buda, Giuseppe Primiero, Leonardo Ceragioli +1
Generative AI systems are known to amplify biases present in their training data. While several inference-time mitigation strategies have been proposed, they remain largely empiric…
On Randomized Computational Models and Complexity Classes: a Historical Overview
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
Since their appearance in the 1950s, computational models capable of performing probabilistic choices have received wide attention and are nowadays pervasive in almost every areas…
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories
Melissa Antonelli, Ugo Dal Lago, Davide Davoli +2
We consider a minimal extension of the language of arithmetic, such that the bounded formulas provably total in a suitably-defined theory à la Buss (expressed in this new language)…
Some Remarks on Counting Propositional Logic
Melissa Antonelli
Counting propositional logic was recently introduced in relation to randomized computation and shown able to logically characterize the full counting hierarchy. In this paper we ai…
Curry and Howard Meet Borel
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
We show that an intuitionistic version of counting propositional logic corresponds, in the sense of Curry and Howard, to an expressive type system for the probabilistic event lambd…