ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs

Optimizing the expected values of probabilistic processes is a central problem in computer science and its applications, arising in fields ranging from artificial intelligence to operations research to statistical computing. Unfortunately, automatic differentiation techniques developed for determini...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages 2023-01, Vol.7 (POPL), p.121-153, Article 5
Hauptverfasser:	Lew, Alexander K., Huot, Mathieu, Staton, Sam, Mansinghka, Vikash K.
Format:	Artikel
Sprache:	eng
Schlagworte:	Computing methodologies Denotational semantics Machine learning Mathematics of computing Statistical software Symbolic and algebraic manipulation Theory of computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!