Correctness of automatic differentiation via diffeologies and categorical gluing

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

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

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