Your search
Topic
Results
32 resources
Borchert, T. (2019). amzn/milan. Amazon. Retrieved from https://github.com/amzn/milan (Original work published 2019)

Murfet, D. (2019). dmurfet/2simplicialtransformer. Retrieved from https://github.com/dmurfet/2simplicialtransformer (Original work published 2019)

Murfet, D., Clift, J., Doryn, D., & Wallbridge, J. (2019). Logic and the $2$Simplicial Transformer. ArXiv:1909.00668 [Cs, Stat]. Retrieved from http://arxiv.org/abs/1909.00668

Fong, B., Spivak, D. I., & Tuyéras, R. (2019). Backprop as Functor: A compositional perspective on supervised learning. ArXiv:1711.10455 [Cs, Math]. Retrieved from http://arxiv.org/abs/1711.10455

Dong, H., Mao, J., Lin, T., Wang, C., Li, L., & Zhou, D. (2019). Neural Logic Machines. ArXiv:1904.11694 [Cs, Stat]. Retrieved from http://arxiv.org/abs/1904.11694

Murfet, D., & Clift, J. (2019). Derivatives of Turing machines in Linear Logic. ArXiv:1805.11813 [Math]. Retrieved from http://arxiv.org/abs/1805.11813

Jacobs, B. (2018). Categorical Aspects of Parameter Learning. ArXiv:1810.05814 [Cs]. Retrieved from http://arxiv.org/abs/1810.05814

Murfet, D. (2018). dmurfet/deeplinearlogic. Retrieved from https://github.com/dmurfet/deeplinearlogic (Original work published 2016)

Brown, T. B., Mané, D., Roy, A., Abadi, M., & Gilmer, J. (2018). Adversarial Patch. ArXiv:1712.09665 [Cs]. Retrieved from http://arxiv.org/abs/1712.09665

Murfet, D. (2018). dmurfet/polysemantics. Retrieved from https://github.com/dmurfet/polysemantics (Original work published 2016)

Eykholt, K., Evtimov, I., Fernandes, E., Li, B., Rahmati, A., Xiao, C., … Song, D. (2018). Robust PhysicalWorld Attacks on Deep Learning Models. ArXiv:1707.08945 [Cs]. Retrieved from http://arxiv.org/abs/1707.08945

Jacobs, B., & Sprunger, D. (2018). Neural Nets via Forward State Transformation and Backward Loss Transformation. ArXiv:1803.09356 [Cs]. Retrieved from http://arxiv.org/abs/1803.09356

Baydin, A. G., Pearlmutter, B. A., Radul, A. A., & Siskind, J. M. (2018). Automatic differentiation in machine learning: a survey. ArXiv:1502.05767 [Cs, Stat]. Retrieved from http://arxiv.org/abs/1502.05767

Tran, D., Hoffman, M. D., Saurous, R. A., Brevdo, E., Murphy, K., & Blei, D. M. (2017). Deep Probabilistic Programming. ArXiv:1701.03757 [Cs, Stat]. Retrieved from http://arxiv.org/abs/1701.03757

Zhang, C., Bengio, S., Hardt, M., Recht, B., & Vinyals, O. (2017). Understanding deep learning requires rethinking generalization. ArXiv:1611.03530 [Cs]. Retrieved from http://arxiv.org/abs/1611.03530

Kurakin, A., Goodfellow, I., & Bengio, S. (2017). Adversarial examples in the physical world. ArXiv:1607.02533 [Cs, Stat]. Retrieved from http://arxiv.org/abs/1607.02533

Olah, C., & Carter, S. (2016). Attention and Augmented Recurrent Neural Networks. Distill, 1(9), e1. https://doi.org/10/gf33sg

Serafini, L., & Garcez, A. d’Avila. (2016). Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge. ArXiv:1606.04422 [Cs]. Retrieved from http://arxiv.org/abs/1606.04422

Goodfellow, I. J., Shlens, J., & Szegedy, C. (2015). Explaining and Harnessing Adversarial Examples. ArXiv:1412.6572 [Cs, Stat]. Retrieved from http://arxiv.org/abs/1412.6572

Paul, A., & Venkatasubramanian, S. (2015). Why does Deep Learning work?  A perspective from Group Theory. ArXiv:1412.6621 [Cs, Stat]. Retrieved from http://arxiv.org/abs/1412.6621
Explore
BIOLOGY, NEUROSCIENCE & PSYCHOLOGY
 Biology (1)
CATEGORICAL LOGIC
 Effectus theory (1)
 Linear logic (4)
DIFFERENTIAL CALCULUS
 Differentiation (2)
MACHINE LEARNING
 Machine Learning (32)
MODEL CHECKING AND STATE MACHINES
 Symbolic logic (3)
 Transition systems (7)
PROBABILITY & STATISTICS
PROGRAMMING LANGUAGES
Methodology
 Compendium (1)
 Implementation (6)
 Sketchy (1)
Topic
 Abstract machines (7)
 Adversarial attacks (5)
 Algebra (4)
 Automatic differentiation (1)
 Bayesian inference (2)
 Bayesianism (3)
 Biology (1)
 Categorical ML (8)
 Categorical probability theory (1)
 Classical ML (18)
 Compendium (1)
 Differentiation (2)
 Effectus theory (1)
 Implementation (6)
 Linear logic (4)
 Machine learning
 Probabilistic programming (3)
 Purely theoretical (1)
 Semantics (5)
 Sketchy (1)
 Symbolic logic (3)
 Systems biology (1)
Resource type
 Book Section (2)
 Computer Program (4)
 Conference Paper (2)
 Journal Article (21)
 Presentation (3)
Publication year
 Between 1900 and 1999 (2)
 Between 2000 and 2021 (27)
 Unknown (3)