Matteo Capucci

According to our database, Matteo Capucci authored at least 15 papers between 2021 and 2026.

Collaborative distances:

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

2026

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification.

Thomas Flinkow, Ekaterina Komendantskaya, Matteo Capucci, Rosemary Monahan

CoRR, May, 2026

Quantitative Linear Logic.

Matteo Capucci, Robert Atkey, Charles Grellois, Ekaterina Komendantskaya

CoRR, May, 2026

Compositionality of Lyapunov functions via assume-guarantee reasoning.

Matteo Capucci, David Jaz Myers

CoRR, April, 2026

2025

A "good regulator theorem" for embodied agents.

Nathaniel Virgo, Martin Biehl, Manuel Baltieri, Matteo Capucci

CoRR, August, 2025

A Bayesian Interpretation of the Internal Model Principle.

Manuel Baltieri, Martin Biehl, Matteo Capucci, Nathaniel Virgo

CoRR, March, 2025

Quantifiers for Differentiable Logics in Rocq (Extended Abstract).

Jairo Miguel Marulanda-Giraldo, Ekaterina Komendantskaya, Alessandro Bruni, Reynald Affeldt, Matteo Capucci, Enrico Marchioni

Proceedings of the AI Verification - Second International Symposium, 2025

2024

Contextads as Wreaths; Kleisli, Para, and Span Constructions as Wreath Products.

Matteo Capucci, David Jaz Myers

CoRR, 2024

A Fibrational Theory of First Order Differential Structures.

Matteo Capucci, Geoffrey S. H. Cruttwell, Neil Ghani, Fabio Zanasi

CoRR, 2024

On Quantifiers for Quantitative Reasoning.

Matteo Capucci

CoRR, 2024

Organizing Physics with Open Energy-Driven Systems.

Matteo Capucci, Owen Lynch, David I. Spivak

Proceedings of the Proceedings Seventh International Conference on Applied Category Theory 2024, 2024

On a fibrational construction for optics, lenses, and Dialectica categories.

Matteo Capucci, Bruno Gavranovic, Abdullah Malik, Francisco Rios, Jonathan Weinberger

Proceedings of the 40th Conference on the Mathematical Foundations of Programming Semantics, 2024

2022

Diegetic representation of feedback in open games.

Matteo Capucci

Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022

Lenses for Composable Servers.

André Videla, Matteo Capucci

CoRR, 2022

2021

Translating Extensive Form Games to Open Games with Agency.

Matteo Capucci, Neil Ghani, Jérémy Ledent, Fredrik Nordvall Forsberg

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

Towards Foundations of Categorical Cybernetics.

Matteo Capucci, Bruno Gavranovic, Jules Hedges, Eigil Fjeldgren Rischel

Proceedings of the Fourth International Conference on Applied Category Theory, 2021