Mateo Torres-Ruiz

According to our database, Mateo Torres-Ruiz authored at least 3 papers between 2024 and 2026.

Collaborative distances:

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

2026

A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures.

Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi

Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

2025

A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming.

Robin Piedeleu, Mateo Torres-Ruiz, Alexandra Silva, Fabio Zanasi

Proceedings of the Programming Languages and Systems, 2025

2024

On Iteration in Discrete Probabilistic Programming.

Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024