Categorical semantics of a simple differential programming language

zbMath1477.68262arXiv2101.10491MaRDI QIDQ5019684

Unnamed Author, Dorette Pronk, Jonathan Gallagher

Publication date: 10 January 2022

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

Mathematics Subject Classification ID

68T05: Learning and adaptive systems in artificial intelligence

68N15: Theory of programming languages

68Q55: Semantics in the theory of computing

18C50: Categorical semantics of formal languages

18F40: Synthetic differential geometry, tangent categories, differential categories

Uses Software

• Theano
• SciPy
• TensorFlow
• PyTorch
• Autograd
• Lantern