Your search
Online resource
Results
112 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)

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

Vytiniotis, D., Belov, D., Wei, R., Plotkin, G., & Abadi, M. (2019). The Differentiable Curry. Retrieved from https://openreview.net/forum?id=ryxuz9SzDB

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

Baudart, G., Mandel, L., Atkinson, E., Sherman, B., Pouzet, M., & Carbin, M. (2019). Reactive Probabilistic Programming. ArXiv:1908.07563 [Cs]. Retrieved from http://arxiv.org/abs/1908.07563

Wilkinson, D. (2019, August 7). Write your own generalpurpose monadic probabilistic programming language from scratch in 50 lines of (Scala) code. Retrieved November 27, 2019, from https://darrenjw.wordpress.com/2019/08/07/writeyourowngeneralpurposemonadicprobabilisticprogramminglanguagefromscratchin50linesofscalacode/

Law, J., & Wilkinson, D. (2019). Functional probabilistic programming for scalable Bayesian modelling. ArXiv:1908.02062 [Stat]. Retrieved from http://arxiv.org/abs/1908.02062

Jacobs, B., Kissinger, A., & Zanasi, F. (2019). Causal Inference by String Diagram Surgery. ArXiv:1811.08338 [Cs, Math]. Retrieved from http://arxiv.org/abs/1811.08338

Blute, R. F., Cockett, J. R. B., Lemay, J.S. P., & Seely, R. A. G. (2019). Differential Categories Revisited. Applied Categorical Structures. https://doi.org/10/ggdm44

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

Jacobs, B., & Sprunger, D. (2019). The differential calculus of causal functions. ArXiv:1904.10611 [Cs]. Retrieved from http://arxiv.org/abs/1904.10611

Fritz, T., & Perrone, P. (2019). A Probability Monad as the Colimit of Spaces of Finite Samples. ArXiv:1712.05363 [Cs, Math]. Retrieved from http://arxiv.org/abs/1712.05363

Ehrhard, T. (2019). Differentials and distances in probabilistic coherence spaces. ArXiv:1902.04836 [Cs]. Retrieved from http://arxiv.org/abs/1902.04836

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

Sprunger, D., & Katsumata, S. (2019). Differentiable Causal Computations via Delayed Trace. In 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (pp. 1–12). Vancouver, BC, Canada: IEEE. https://doi.org/10/ggdf98

Jacobs, B., & Cho, K. (2019). Disintegration and Bayesian Inversion via String Diagrams. Mathematical Structures in Computer Science, 29(7), 938–971. https://doi.org/10/ggdf9v

Tuyéras, R. (2018). Category theory for genetics I: mutations and sequence alignments. ArXiv:1805.07002 [Math]. Retrieved from http://arxiv.org/abs/1805.07002
Explore
BIOLOGY, NEUROSCIENCE & PSYCHOLOGY
 Biology (13)
 Neuroscience (9)
 Psychology (4)
CATEGORICAL LOGIC
 Effectus theory (8)
 Linear logic (16)
DIFFERENTIAL CALCULUS
 Differentiation (15)
MACHINE LEARNING
 Machine Learning (37)
MODEL CHECKING AND STATE MACHINES
 Coalgebras (6)
 Rewriting theory (5)
 Symbolic logic (5)
 Transition systems (15)
PROBABILITY & STATISTICS
PROGRAMMING LANGUAGES
 Programming language theory (47)
 Type theory (5)
Methodology
 Compendium (2)
 Implementation (18)
 Sketchy (9)
Topic
 Abstract machines (7)
 Adversarial attacks (5)
 Algebra (4)
 Automatic differentiation (6)
 Bayesian inference (7)
 Bayesianism (15)
 Biology (9)
 Categorical ML (10)
 Categorical probability theory (14)
 Classical ML (15)
 Coalgebras (6)
 Coherence spaces (4)
 Compendium (2)
 Denotational semantics (16)
 Differential Linear Logic (6)
 Differentiation (15)
 Effectus theory (8)
 Emergence (6)
 Game semantics (2)
 Implementation (15)
 Interactive semantics (3)
 Linear logic (13)
 Machine learning (27)
 Neuroscience (8)
 Powerdomains (4)
 Probabilistic programming (23)
 Probabilistic transition systems (5)
 Programming language theory (26)
 Psychology (4)
 Purely theoretical (8)
 Rewriting theory (5)
 Semantics (10)
 Sketchy (7)
 Statistical learning theory (2)
 Symbolic logic (5)
 Systems biology (3)
 Topological data analysis (4)
 Transition systems (6)
 Type theory (2)
Resource type
 Blog Post (1)
 Book (2)
 Book Section (5)
 Computer Program (4)
 Conference Paper (7)
 Journal Article (91)
 Manuscript (1)
 Web Page (1)
Publication year
 Between 1900 and 1999 (8)
 Between 2000 and 2021 (104)