Correctness of automatic differentiation via diffeologies and categorical gluing
From MaRDI portal
Publication:2200831
DOI10.1007/978-3-030-45231-5_17OpenAlexW3021448353MaRDI QIDQ2200831
Matthijs Vákár, Sam Staton, Mathieu Huot
Publication date: 23 September 2020
Full work available at URL: https://arxiv.org/abs/2001.02209
Related Items (8)
On the Versatility of Open Logical Relations ⋮ Smart Choices and the Selection Monad ⋮ CHAD for expressive total languages ⋮ Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library ⋮ Correctness of automatic differentiation via diffeologies and categorical gluing ⋮ Densities of almost surely terminating probabilistic programs are differentiable almost everywhere ⋮ Reverse AD at higher types: pure, principled and denotationally correct ⋮ Unnamed Item
Cites Work
- The No-U-Turn Sampler: Adaptively Setting Path Lengths in Hamiltonian Monte Carlo
- On the limited memory BFGS method for large scale optimization
- Nesting forward-mode AD in a functional framework
- The differential lambda-calculus
- Correctness of automatic differentiation via diffeologies and categorical gluing
- Convenient categories of smooth spaces
- A Simply Typed λ-Calculus of Forward Automatic Differentiation
- Quasitoposes, Quasiadhesive Categories and Artin Glueing
- On the Versatility of Open Logical Relations
- Comparative Smootheology
- Tangent spaces and tangent bundles for diffeological spaces
- Stochastic Estimation of the Maximum of a Regression Function
- A Stochastic Approximation Method
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Correctness of automatic differentiation via diffeologies and categorical gluing