${\lambda }_S$: Computable Semantics for Differentiable Programming with Higher-Order Functions and Datatypes

Benjamin Sherman, Jesse Michel, Michael Carbin

Deep learning is moving towards increasingly sophisticated optimization objectives that employ higher-order functions, such as integration, continuous optimization, and root-findin…