{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,1]],"date-time":"2024-08-01T22:08:39Z","timestamp":1722550119500},"reference-count":21,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.333.17","type":"journal-article","created":{"date-parts":[[2021,1,19]],"date-time":"2021-01-19T22:45:56Z","timestamp":1611096356000},"page":"247-260","source":"Crossref","is-referenced-by-count":8,"title":["Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits"],"prefix":"10.4204","volume":"333","author":[{"given":"Paul","family":"Wilson","sequence":"first","affiliation":[{"name":"University of Southampton"}]},{"given":"Fabio","family":"Zanasi","sequence":"additional","affiliation":[{"name":"University College London"}]}],"member":"2720","published-online":{"date-parts":[[2021,2,8]]},"reference":[{"key":"bishop_pattern_2006","series-title":"Information science and statistics","doi-asserted-by":"publisher","DOI":"10.978.038731\/0732","volume-title":"Pattern recognition and machine learning","author":"Bishop","year":"2006"},{"key":"bonchi_rewriting_2016","doi-asserted-by":"publisher","first-page":"710","DOI":"10.1145\/2933575.2935316","article-title":"Rewriting modulo symmetric monoidal structure","author":"Bonchi","year":"2016","journal-title":"Proceedings of the 31st Annual ACM\/IEEE Symposium on Logic in Computer Science - LICS '16"},{"key":"cockett_reverse_2019","article-title":"Reverse derivative categories","author":"Cockett","year":"2019","journal-title":"arXiv:1910.07065 [cs, math]"},{"key":"courbariaux_binaryconnect_nodate","article-title":"BinaryConnect: Training Deep Neural Networks with binary weights during propagations","author":"Courbariaux","journal-title":"arXiv:1511.00363 [cs]"},{"key":"duda_pattern_2000","volume-title":"Pattern Classification (2nd Edition)","author":"Duda","year":"2000"},{"key":"fong_backprop_2019","article-title":"Backprop as Functor: A compositional perspective on supervised learning","author":"Fong","year":"2019","journal-title":"arXiv:1711.10455 [cs, math]"},{"key":"gavranovic_learning_nodate","doi-asserted-by":"publisher","first-page":"230","DOI":"10.4204\/EPTCS.323.15","article-title":"Learning Functors using Gradient Descent","volume":"323","author":"Gavranovi\\'c","year":"2020","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"hubara_binarized_nodate","article-title":"Binarized Neural Networks: Training Deep Neural Networks with Weights and Activations Constrained to +1 or -1","author":"Hubara","year":"2016","journal-title":"arXiv:1602.02830 [cs]"},{"key":"jacobson_basic_2012","volume-title":"Basic Algebra I: Second Edition","author":"Jacobson","year":"2012"},{"key":"krizhevsky_learning_2009","volume-title":"Learning Multiple Layers of Features from Tiny Images","author":"Krizhevsky","year":"2009"},{"key":"lafont_towards_2003","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/S0022-4049(03)00069-0","article-title":"Towards an algebraic theory of Boolean circuits","volume":"184","author":"Lafont","year":"2003","journal-title":"Journal of Pure and Applied Algebra"},{"key":"Lecun98gradient-basedlearning","doi-asserted-by":"publisher","first-page":"2278","DOI":"10.1109\/5.726791","article-title":"Gradient-Based Learning Applied to Document Recognition","volume-title":"Proceedings of the IEEE","author":"Lecun","year":"1998"},{"key":"raina_large-scale_2009","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1553374.1553486","article-title":"Large-scale deep unsupervised learning using graphics processors","volume-title":"Proceedings of the 26th Annual International Conference on Machine Learning - ICML '09","author":"Raina","year":"2009"},{"issue":"4","key":"martin_del_rey_boolean_2012","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1016\/j.aml.2011.10.013","article-title":"On the boolean partial derivatives and their composition","volume":"25","author":"Mart\u00edn del Rey","year":"2012","journal-title":"Applied Mathematics Letters"},{"key":"ruder_overview_2017","article-title":"An overview of gradient descent optimization algorithms","author":"Ruder","year":"2017","journal-title":"arXiv:1609.04747 [cs]"},{"key":"selinger_survey_2010","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-642-12821-9-4","article-title":"A survey of graphical languages for monoidal categories","volume":"813","author":"Selinger","year":"2010","journal-title":"arXiv:0908.3347 [math]"},{"key":"sprunger_differential_2019","article-title":"The differential calculus of causal functions","author":"Sprunger","year":"2019","journal-title":"arXiv:1904.10611 [cs]"},{"key":"sprunger_differentiable_2019","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/LICS.2019.8785670","article-title":"Differentiable Causal Computations via Delayed Trace","volume-title":"2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","author":"Sprunger","year":"2019"},{"key":"wang_lutnet:_2019","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2019.00014","article-title":"LUTNet: Rethinking Inference in FPGA Soft Logic","author":"Wang","year":"2019","journal-title":"IEEE International Symposium on Field-Programmable Custom Computing Machines"},{"key":"zanasi_rewriting_2017","doi-asserted-by":"publisher","first-page":"16","DOI":"10.4204\/EPTCS.263.2","article-title":"Rewriting in Free Hypergraph Categories","volume":"263","author":"Zanasi","year":"2017","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"zhegalkin_sur_1927","article-title":"Sur le calcul des propositions dans la logique symbolique","author":"Zhegalkin","year":"1927"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2021,2,9]],"date-time":"2021-02-09T03:24:53Z","timestamp":1612841093000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2101.10488v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,8]]},"references-count":21,"URL":"https:\/\/doi.org\/10.4204\/eptcs.333.17","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,2,8]]}}}