Your search
Results
28 resources-
Hamrick, J. B. (2019). Analogues of mental simulation and imagination in deep learning. Current Opinion in Behavioral Sciences, 29, 8–16. https://doi.org/10.1016/j.cobeha.2018.12.011
-
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
-
Harris, K. D. (2019). Characterizing the invariances of learning algorithms using category theory. ArXiv:1905.02072 [Cs, Math, Stat]. Retrieved from http://arxiv.org/abs/1905.02072
-
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
-
Battaglia, P. W., Hamrick, J. B., Bapst, V., Sanchez-Gonzalez, A., Zambaldi, V., Malinowski, M., … Pascanu, R. (2018). Relational inductive biases, deep learning, and graph networks. ArXiv:1806.01261 [Cs, Stat]. Retrieved from http://arxiv.org/abs/1806.01261
-
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
-
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
-
Martin-Maroto, F., & de Polavieja, G. G. (2018). Algebraic Machine Learning. ArXiv:1803.05252 [Cs, Math]. Retrieved from http://arxiv.org/abs/1803.05252
-
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
-
Jacobs, B., & Zanasi, F. (2016). A Predicate/State Transformer Semantics for Bayesian Learning. Electronic Notes in Theoretical Computer Science, 325, 185–200. https://doi.org/10/ggdgbb
-
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
Explore
BIOLOGY, NEUROSCIENCE & PSYCHOLOGY
- Neuroscience (1)
CATEGORICAL LOGIC
- Effectus theory (2)
- Linear logic (1)
DIFFERENTIAL CALCULUS
- Differentiation (2)
MACHINE LEARNING
-
Machine Learning
- Adversarial attacks (5)
- Algebraic ML (2)
- Categorical ML (8)
- Classic ML (15)
MODEL CHECKING AND STATE MACHINES
- Symbolic logic (2)
- Transition systems (5)
PROBABILITY & STATISTICS
PROGRAMMING LANGUAGES
Methodology
- Compendium (1)
- Implementation (2)
- Sketchy (2)
Topic
- Abstract machines (5)
- Adversarial attacks (5)
- Algebra (1)
- Automatic differentiation (1)
- Bayesian inference (2)
- Bayesianism (5)
- Categorical ML (7)
- Categorical probability theory (4)
- Classical ML (13)
- Compendium (1)
- Differentiation (2)
- Effectus theory (2)
- Implementation (2)
- Linear logic (1)
- Machine learning (21)
- Probabilistic programming (2)
- Programming language theory (1)
- Purely theoretical (3)
- Semantics (2)
- Statistical learning theory (1)
- Symbolic logic (2)