Bart Jacobs 0001, David Sprunger. Neural Nets via Forward State Transformation and Backward Loss Transformation. In Barbara König 0001, editor, Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019, London, UK, June 4-7, 2019. Volume 347 of Electronic Notes in Theoretical Computer Science, pages 161-177, Elsevier, 2019. [doi]
@inproceedings{journals-entcs-JacobsS19, title = {Neural Nets via Forward State Transformation and Backward Loss Transformation}, author = {Bart Jacobs 0001 and David Sprunger}, year = {2019}, doi = {10.1016/j.entcs.2019.09.009}, url = {https://doi.org/10.1016/j.entcs.2019.09.009}, researchr = {https://researchr.org/publication/journals-entcs-JacobsS19}, cites = {0}, citedby = {0}, pages = {161-177}, booktitle = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019, London, UK, June 4-7, 2019}, editor = {Barbara König 0001}, volume = {347}, series = {Electronic Notes in Theoretical Computer Science}, publisher = {Elsevier}, }