Search Results for author: Benjamin Sherman

Found 1 papers, 1 papers with code

$λ_S$: Computable Semantics for Differentiable Programming with Higher-Order Functions and Datatypes

1 code implementation15 Jul 2020 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-finding.

Programming Languages Logic in Computer Science D.3.1; F.3.2

Cannot find the paper you are looking for? You can Submit a new open access paper.