Your search
Topic
Publication year
Results
27 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 Physical-World 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 (3)
DIFFERENTIAL CALCULUS
- Differentiation (2)
MACHINE LEARNING
- Machine Learning (27)
MODEL CHECKING AND STATE MACHINES
- Symbolic logic (3)
- Transition systems (7)
PROBABILITY & STATISTICS
PROGRAMMING LANGUAGES
Methodology
- Compendium (1)
- Implementation (6)
Topic
- Abstract machines (7)
- Adversarial attacks (5)
- Algebra (3)
- Automatic differentiation (1)
- Bayesian inference (2)
- Bayesianism (2)
- Biology (1)
- Categorical ML (7)
- Categorical probability theory (1)
- Classical ML (14)
- Compendium (1)
- Differentiation (2)
- Effectus theory (1)
- Implementation (6)
- Linear logic (3)
- Machine learning
- Probabilistic programming (3)
- Purely theoretical (1)
- Semantics (4)
- Symbolic logic (3)
- Systems biology (1)
Resource type
- Book Section (2)
- Computer Program (4)
- Conference Paper (2)
- Journal Article (19)