Mateo Torres-Ruiz

According to our database1, Mateo Torres-Ruiz authored at least 2 papers in 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming.
CoRR, 2024

On Iteration in Discrete Probabilistic Programming.
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024


  Loading...