A Language and Smoothed Semantics for Convergent Stochastic Gradient Descent

The Seventh International Workshop on Languages for Inference (LAFI) @ POPL 2022 16 Jan 2022

Slides