eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Leibniz International Proceedings in Informatics
1868-8969
2018-07-04
3:1
3:1
10.4230/LIPIcs.ICALP.2018.3
article
Probability Theory from a Programming Perspective (Invited Paper)
Staton, Sam
1
Department of Computer Science, University of Oxford, Oxford OX1 3QD UK
A leading idea is to apply techniques from verification and programming theory to machine learning and statistics, to deal with things like compositionality and various notions of correctness and complexity. Probabilistic programming is an example of this. Moreover, this approach leads to new foundational methods in probability theory. This is particularly true in the "non-parametric" aspects, for example in higher-order functions and infinite random graph models.
https://drops.dagstuhl.de/storage/00lipics/lipics-vol107-icalp2018/LIPIcs.ICALP.2018.3/LIPIcs.ICALP.2018.3.pdf
correctness
complexity
statistics