2 papers
cs.LO2026
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…
cs.LO2026
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…