Melissa Antonelli

Rui Li

CoRR, May, 2026

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

[BibT_eX]

[DOI]

Alessandro Giuseppe Buda

Giuseppe Primiero

Leonardo Ceragioli

CoRR, April, 2026

A Linear Temporal Logic of Frequencies on Series of Events.

[BibT_eX]

[DOI]

Leonardo Ceragioli

Alessandro Giuseppe Buda

Giuseppe Primiero

CoRR, April, 2026

Towards new characterizations of small circuit classes via discrete ordinary differential equations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2026

2025

Characterizing Small Circuit Classes from FAC^0 to FAC^1 via Discrete Ordinary Differential Equations.

[BibT_eX]

[DOI]

CoRR, June, 2025

Circuit Complexity Meets Discrete Ordinary Differential Equations: An Overview.

[BibT_eX]

[DOI]

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

Characterizing Small Circuit Classes from FAC⁰ to FAC¹ via Discrete Ordinary Differential Equations.

[BibT_eX]

[DOI]

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

2024

Towards a Logical Foundation of Randomized Computation: Doctoral Thesis Abstract.

[BibT_eX]

[DOI]

Künstliche Intell., August, 2024

On Randomized Computational Models and Complexity Classes: a Historical Overview.

[BibT_eX]

[DOI]

CoRR, 2024

Towards logical foundations for probabilistic computation.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2024

A New Characterization of FAC⁰ via Discrete Ordinary Differential Equations.

[BibT_eX]

[DOI]

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

Towards New Characterizations of Small Circuit Classes via Discrete Ordinary Differential Equations (short paper).

[BibT_eX]

[DOI]

Proceedings of the 25th Italian Conference on Theoretical Computer Science, 2024

Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories.

[BibT_eX]

[DOI]

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

On the Proof Theory of Apodictic Syllogistic.

[BibT_eX]

[DOI]

Jan von Plato

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

Towards a logical foundation of randomized computation.

[BibT_eX]

[DOI]

PhD thesis, 2023

An Arithmetic Theory for the Poly-Time Random Functions.

[BibT_eX]

[DOI]

CoRR, 2023

Towards a Logical Foundation of Randomized Computation.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Bias, 2023

2022

Some Remarks on Counting Propositional Logic.

[BibT_eX]

[DOI]

CoRR, 2022

Curry and Howard Meet Borel.

[BibT_eX]

[DOI]

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Two Remarks on Counting Propositional Logic.

[BibT_eX]

[DOI]

Proceedings of 1st Workshop on Bias, 2022

2021

On Measure Quantifiers in First-Order Arithmetic (Long Version).

[BibT_eX]

[DOI]

CoRR, 2021

On Counting Propositional Logic.

[BibT_eX]

[DOI]

CoRR, 2021

On Counting Propositional Logic and Wagner's Hierarchy.

[BibT_eX]

[DOI]

Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021

On Measure Quantifiers in First-Order Arithmetic.

[BibT_eX]

[DOI]