Neural nets via forward state transformation and backward loss transformation

DOI10.1016/J.ENTCS.2019.09.009MaRDI QIDQ2133171zbMATH OpenOpenAlexWikidataFDO

Authors Bart Jacobs, David Sprunger

Publication date 29 April 2022

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

zbMATH Keywords

backpropagationloss transformationmultilayer perceptronneural networkstate-and-effect triangle

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Backprop as functor. A compositional perspective on supervised learning
• Backpropagation
• scientific article; zbMATH DE number 1323825
• Parallel, self-organizing, hierarchical neural networks with forward- backward training
• scientific article; zbMATH DE number 1330554

Cites work

• A functional perspective on machine learning via programmable induction and abduction
• A recipe for state-and-effect triangles
• Deep learning
• From probability monads to commutative effectuses
• Learning representations by back-propagating errors
• New directions in categorical logic, for classical, probabilistic and quantum logic
• The Logical Essentials of Bayesian Reasoning

Cited in

(2)

• scientific article; zbMATH DE number 6202393 (Why is no real title available?)
• Backprop as functor. A compositional perspective on supervised learning

This page was built for publication: Neural nets via forward state transformation and backward loss transformation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2133171)