scientific article; zbMATH DE number 7566054
From MaRDI portal
Publication:5094126
Sam Staton, Matthijs Vákár, Mathieu Huot
Publication date: 2 August 2022
Full work available at URL: https://arxiv.org/abs/2101.06757
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
CHAD for expressive total languages ⋮ Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The No-U-Turn Sampler: Adaptively Setting Path Lengths in Hamiltonian Monte Carlo
- Some statistical applications of Faa di Bruno
- On the limited memory BFGS method for large scale optimization
- Nesting forward-mode AD in a functional framework
- Conceptual completeness for first-order intuitionistic logic: An application of categorical logic
- Differential-geometrical methods in statistics.
- Jacobian-free Newton-Krylov methods: a survey of approaches and applications.
- A short proof of the generalized Faà di Bruno's formula
- Capitalizing on \textit{live} variables: new algorithms for efficient Hessian computation via automatic differentiation
- 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
- Lazy multivariate higher-order forward-mode AD
- Quasitoposes, Quasiadhesive Categories and Artin Glueing
- A Multivariate Faa di Bruno Formula with Applications
- Evaluating higher derivative tensors by forward propagation of univariate Taylor series
- A Simple and Efficient Tensor Calculus for Machine Learning
- On the Versatility of Open Logical Relations
- Comparative Smootheology
- Tangent spaces and tangent bundles for diffeological spaces
- A Stochastic Approximation Method
- Functional differentiation of computer programs
This page was built for publication:
