Reverse derivative ascent: a categorical approach to learning Boolean circuits

MaRDI QIDQ5019680zbMATH OpenFDO

Authors Paul W. Wilson, Fabio Zanasi

Publication date 10 January 2022

Full work available at URL https://arxiv.org/abs/2101.10488, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2020.17

Mathematics Subject Classification ID

Synthetic differential geometry, tangent categories, differential categories (18F40) Computational learning theory (68Q32) Learning and adaptive systems in artificial intelligence (68T05) Switching theory, applications of Boolean algebras to circuits and networks (94C11)

Recommendations

• Categories of Differentiable Polynomial Circuits for Machine Learning
• Monoidal reverse differential categories
• Disjunctive models of Boolean category learning
• Categorical semantics of a simple differential programming language
• Learning a circuit by injecting values

Cites work

• A survey of graphical languages for monoidal categories
• scientific article; zbMATH DE number 7453981 (Why is no real title available?)
• On the Boolean partial derivatives and their composition
• Pattern classification.
• Pattern recognition and machine learning.
• Rewriting modulo symmetric monoidal structure
• Towards an algebraic theory of Boolean circuits.

Cited in

(8)

• Latent fibrations: fibrations for categories of partial maps
• An axiomatic approach to differentiation of polynomial circuits
• Jacobians and gradients for Cartesian differential categories
• Categorical foundations of gradient-based learning
• Categories of Differentiable Polynomial Circuits for Machine Learning
• Backprop as functor. A compositional perspective on supervised learning
• Cartesian differential Kleisli categories
• Reverse tangent categories

Describes a project that uses

Uses Software

• PRMLT
• UCI
• CIFAR
• BinaryConnect
• BinaryNet

This page was built for publication: Reverse derivative ascent: a categorical approach to learning Boolean circuits

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