Christopher M. Bishop
2006
Pattern recognition and machine learning
Information science and statistics
Springer
New York
10.978.038731/0732
Filippo Bonchi
Fabio Gadducci
Aleks Kissinger
Pawel Sobocinski
Fabio Zanasi
2016
Rewriting modulo symmetric monoidal structure
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16
710–719
10.1145/2933575.2935316
Robin Cockett
Geoffrey Cruttwell
Jonathan Gallagher
Jean-Simon Pacaud Lemay
Benjamin MacAdam
Gordon Plotkin
Dorette Pronk
2019
Reverse derivative categories
arXiv:1910.07065 [cs, math]
Matthieu Courbariaux
Yoshua Bengio
Jean-Pierre David
BinaryConnect: Training Deep Neural Networks with binary weights during propagations
arXiv:1511.00363 [cs]
Dheeru Dua
Casey Graff
2017
UCI Machine Learning Repository
Richard O. Duda
Peter E. Hart
David G. Stork
2000
Pattern Classification (2nd Edition)
Wiley-Interscience
USA
Brendan Fong
David I. Spivak
Rémy Tuyéras
2019
Backprop as Functor: A compositional perspective on supervised learning
arXiv:1711.10455 [cs, math]
Bruno Gavranovi\'c
2020
Learning Functors using Gradient Descent
Electronic Proceedings in Theoretical Computer Science
323
230–245
10.4204/EPTCS.323.15
arXiv: 2009.06837
Itay Hubara
Matthieu Courbariaux
Daniel Soudry
Ran El-Yaniv
Yoshua Bengio
2016
Binarized Neural Networks: Training Deep Neural Networks with Weights and Activations Constrained to +1 or -1
arXiv:1602.02830 [cs]
ArXiv: 1602.02830
Nathan Jacobson
2012
Basic Algebra I: Second Edition
Courier Corporation
Alex Krizhevsky
2009
Learning Multiple Layers of Features from Tiny Images
Department of Computer Science, University of Toronto
Yves Lafont
2003
Towards an algebraic theory of Boolean circuits
Journal of Pure and Applied Algebra
184
2-3
257–310
10.1016/S0022-4049(03)00069-0
Yann Lecun
Léon Bottou
Yoshua Bengio
Patrick Haffner
1998
Gradient-Based Learning Applied to Document Recognition
Proceedings of the IEEE
2278–2324
10.1109/5.726791
Rajat Raina
Anand Madhavan
Andrew Y. Ng
2009
Large-scale deep unsupervised learning using graphics processors
Proceedings of the 26th Annual International Conference on Machine Learning - ICML '09
ACM Press
Montreal, Quebec, Canada
1–8
10.1145/1553374.1553486
A. Martín del Rey
G. Rodríguez Sánchez
A. de la Villa Cuenca
2012
On the boolean partial derivatives and their composition
Applied Mathematics Letters
25
4
739–744
10.1016/j.aml.2011.10.013
Sebastian Ruder
2017
An overview of gradient descent optimization algorithms
arXiv:1609.04747 [cs]
Peter Selinger
2010
A survey of graphical languages for monoidal categories
arXiv:0908.3347 [math]
813
289–355
10.1007/978-3-642-12821-9-4
David Sprunger
Bart Jacobs
2019
The differential calculus of causal functions
arXiv:1904.10611 [cs]
David Sprunger
Shin-ya Katsumata
2019
Differentiable Causal Computations via Delayed Trace
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
IEEE
Vancouver, BC, Canada
1–12
10.1109/LICS.2019.8785670
Erwei Wang
James J. Davis
Peter Y. K. Cheung
George A. Constantinides
2019
LUTNet: Rethinking Inference in FPGA Soft Logic
IEEE International Symposium on Field-Programmable Custom Computing Machines
10.1109/FCCM.2019.00014
Fabio Zanasi
2017
Rewriting in Free Hypergraph Categories
Electronic Proceedings in Theoretical Computer Science
263
16–30
10.4204/EPTCS.263.2
Ivan Zhegalkin
1927
Sur le calcul des propositions dans la logique symbolique