Your search
Publication year
Results
128 resources
Wilkinson, D. (2019). A compositional approach to scalable Bayesian computation and probabilistic programming.

Heunen, C., Kammar, O., Staton, S., & Yang, H. (2017). A Convenient Category for HigherOrder Probability Theory. ArXiv:1701.02547 [Cs, Math]. Retrieved from http://arxiv.org/abs/1701.02547

Blute, R., Ehrhard, T., & Tasson, C. (2010). A convenient differential category. ArXiv:1006.3140 [Cs, Math]. Retrieved from http://arxiv.org/abs/1006.3140

Vákár, M., Kammar, O., & Staton, S. (2018). A Domain Theory for Statistical Probabilistic Programming. ArXiv:1811.04196 [Cs]. Retrieved from http://arxiv.org/abs/1811.04196

Jacobs, B., & Zanasi, F. (2017). A Formal Semantics of Influence in Bayesian Reasoning. Schloss Dagstuhl  LeibnizZentrum Fuer Informatik GmbH, Wadern/Saarbruecken, Germany. https://doi.org/10/ggdgbc

Bartels, F., Sokolova, A., & de Vink, E. (2003). A hierarchy of probabilistic system types. Electronic Notes in Theoretical Computer Science, 82(1), 57–75. https://doi.org/10/d7kq38

Borgström, J., Lago, U. D., Gordon, A. D., & Szymczak, M. (2017). A LambdaCalculus Foundation for Universal Probabilistic Programming. ArXiv:1512.08990 [Cs]. Retrieved from http://arxiv.org/abs/1512.08990

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

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

Hur, C.K., Nori, A. V., & Rajamani, S. K. (2015). A Provably Correct Sampler for Probabilistic Programs, 21.

Manzyuk, O. (2012). A Simply Typed λCalculus of Forward Automatic Differentiation. Electronic Notes in Theoretical Computer Science, 286, 257–272. https://doi.org/10/ggdm57

Jacobs, B., & Adams, R. (2015). A Type Theory for Probabilistic and Bayesian Reasoning. ArXiv:1511.09230 [Cs, Math]. Retrieved from http://arxiv.org/abs/1511.09230

Lack, S., & Sobociński, P. (2005). Adhesive and quasiadhesive categories. RAIRO  Theoretical Informatics and Applications  Informatique Théorique et Applications, 39(3), 511–545. https://doi.org/10/fntwvv

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

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

Izbicki, M. (2013). Algebraic classifiers: a generic approach to fast crossvalidation, online training, and parallel training. In ICML.

Watanabe, S. (2009, August). Algebraic Geometry and Statistical Learning Theory. https://doi.org/10.1017/CBO9780511800474

MartinMaroto, F., & de Polavieja, G. G. (2018). Algebraic Machine Learning. ArXiv:1803.05252 [Cs, Math]. Retrieved from http://arxiv.org/abs/1803.05252

Borchert, T. (2019). amzn/milan. Amazon. Retrieved from https://github.com/amzn/milan (Original work published 2019)

Ehrhard, T. (2016). An introduction to Differential Linear Logic: proofnets, models and antiderivatives. ArXiv:1606.01642 [Cs]. Retrieved from http://arxiv.org/abs/1606.01642
Explore
BIOLOGY, NEUROSCIENCE & PSYCHOLOGY
 Biology (24)
 Neuroscience (15)
 Psychology (5)
CATEGORICAL LOGIC
 Effectus theory (8)
 Linear logic (18)
DIFFERENTIAL CALCULUS
 Differentiation (18)
MACHINE LEARNING
 Machine Learning (39)
MODEL CHECKING AND STATE MACHINES
 Coalgebras (7)
 Rewriting theory (9)
 Symbolic logic (7)
 Transition systems (20)
PROBABILITY & STATISTICS
PROGRAMMING LANGUAGES
 Programming language theory (50)
 Type theory (4)
Methodology
 Compendium (2)
 Implementation (22)
 Sketchy (14)
Topic
 Abstract machines (8)
 Adversarial attacks (5)
 Algebra (5)
 Automatic differentiation (7)
 Bayesian inference (12)
 Bayesianism (14)
 Biology (14)
 Categorical ML (11)
 Categorical probability theory (14)
 Classical ML (15)
 Coalgebras (7)
 Coherence spaces (4)
 Compendium (2)
 Denotational semantics (17)
 Differential Linear Logic (8)
 Differentiation (18)
 Effectus theory (8)
 Emergence (10)
 Game semantics (3)
 Implementation (19)
 Interactive semantics (4)
 Linear logic (15)
 Machine learning (27)
 Neuroscience (12)
 Powerdomains (3)
 Probabilistic programming (26)
 Probabilistic transition systems (6)
 Programming language theory (28)
 Psychology (5)
 Purely theoretical (7)
 Rewriting theory (9)
 Semantics (10)
 Sketchy (10)
 Statistical learning theory (2)
 Symbolic logic (7)
 Systems biology (7)
 Topological data analysis (4)
 Transition systems (9)
 Type theory (1)
Resource type
 Blog Post (1)
 Book (4)
 Book Section (5)
 Computer Program (4)
 Conference Paper (21)
 Journal Article (89)
 Manuscript (1)
 Presentation (2)
 Web Page (1)