scientific article; zbMATH DE number 7650831

DOI10.4230/LIPICS.CSL.2020.18MaRDI QIDQ5874204

Unnamed Author, Benjamin MacAdam, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Dorette Pronk, J. Robin B. Cockett, Gordon D. Plotkin

Publication date: 7 February 2023

Full work available at URL: https://arxiv.org/abs/1910.07065

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automatic differentiationcategorical semanticsCartesian differential categoriesdagger categoriesCartesian reverse differential categoriesreverse derivatives

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (12)

Monoidal reverse differential categories ⋮ A complete equational axiomatisation of partial differentiation ⋮ Latent Fibrations: Fibrations for Categories of Partial Maps ⋮ CHAD for expressive total languages ⋮ Diegetic Representation of Feedback in Open Games ⋮ Categorical foundations of gradient-based learning ⋮ Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library ⋮ Correctness of automatic differentiation via diffeologies and categorical gluing ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Categories of Differentiable Polynomial Circuits for Machine Learning ⋮ Reverse AD at higher types: pure, principled and denotationally correct

This page was built for publication: