A Language and Smoothed Semantics for Convergent Stochastic Gradient Descent

Logic of Probabilistic Programming
Slides Video

Date
Event
Avatar
Dominik Wagner
Research Fellow

Short bio.