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