English
Related papers

Related papers: Joint Distributions in Probabilistic Semantics

200 papers

We present a modular semantic account of Bayesian inference algorithms for probabilistic programming languages, as used in data science and machine learning. Sophisticated inference algorithms are often explained in terms of composition of…

The present work develops a construction of a CD category of partial kernels from a particular type of Markov category called a partializable Markov category. These are a generalization of earlier models of categories of partial morphisms…

Category Theory · Mathematics 2025-09-08 Areeb Shah Mohammed

We introduce a sound and complete equational theory capturing equivalence of discrete probabilistic programs, that is, programs extended with primitives for Bernoulli distributions and conditioning, to model distributions over finite sets…

Logic in Computer Science · Computer Science 2024-08-28 Robin Piedeleu , Mateo Torres-Ruiz , Alexandra Silva , Fabio Zanasi

Markov categories, having tensors with copying and discarding, provide a setting for categorical probability. This paper uses finite colimits and what we call uniform states in such Markov categories to define a (fixed size) multiset…

Logic in Computer Science · Computer Science 2021-12-30 Bart Jacobs

We describe a framework for inducing probabilistic grammars from corpora of positive samples. First, samples are {\em incorporated} by adding ad-hoc rules to a working grammar; subsequently, elements of the model (such as states or…

cmp-lg · Computer Science 2022-02-28 Andreas Stolcke , Stephen M. Omohundro

The joint likelihood is a simple extension of the standard likelihood formalism that enables the estimation of common parameters across disjoint datasets. Joining the likelihood, rather than the data itself, means nuisance parameters can be…

High Energy Astrophysical Phenomena · Physics 2019-08-14 Brandon Anderson , James Chiang , Johann Cohen-Tanugi , Jan Conrad , Alex Drlica-Wagner , Maja Llena Garde , Stephan Zimmer

We present a novel technique for learning semantic representations, which extends the distributional hypothesis to multilingual data and joint-space embeddings. Our models leverage parallel data and learn to strongly align the embeddings of…

Computation and Language · Computer Science 2014-04-21 Karl Moritz Hermann , Phil Blunsom

There have been several efforts to extend distributional semantics beyond individual words, to measure the similarity of word pairs, phrases, and sentences (briefly, tuples; ordered sets of words, contiguous or noncontiguous). One way to…

Machine Learning · Computer Science 2013-10-21 Peter D. Turney

Applied category theory often studies symmetric monoidal categories (SMCs) whose morphisms represent open systems. These structures naturally accommodate complex wiring patterns, leveraging (co)monoidal structures for splitting and merging…

Category Theory · Mathematics 2025-09-03 Marius Furter , Yujun Huang , Gioele Zardini

A well-known challenge in the semantics of programming languages is how to combine non-determinism and probability. At a technical level, the problem arises from the fact that there is a no distributive law between the powerset monad and…

Logic in Computer Science · Computer Science 2021-05-17 Bart Jacobs

The notions of disintegration and Bayesian inversion are fundamental in conditional probability theory. They produce channels, as conditional probabilities, from a joint state, or from an already given channel (in opposite direction). These…

Artificial Intelligence · Computer Science 2019-07-31 Kenta Cho , Bart Jacobs

This article constructs a class of random probability measures based on exponentially and polynomially tilting operated on the laws of completely random measures. The class is proved to be conjugate in that it covers both prior and…

Statistics Theory · Mathematics 2013-12-19 John W. Lau

We generalise the distribution semantics underpinning probabilistic logic programming by distilling its essential concept, the separation of a free random component and a deterministic part. This abstracts the core ideas beyond logic…

Artificial Intelligence · Computer Science 2024-05-17 Felix Weitkämper

A representation of finite-dimensional probabilistic models in terms of formally real Jordan algebras is obtained, in a strikingly easy way, from simple assumptions. This provides a framework in which real, complex and quaternionic quantum…

Quantum Physics · Physics 2018-05-09 Alexander Wilce

Applied category theory often studies symmetric monoidal categories (SMCs) whose morphisms represent open systems. These structures naturally accommodate complex wiring patterns, leveraging (co)monoidal structures for splitting and merging…

Category Theory · Mathematics 2026-03-11 Marius Furter , Yujun Huang , Gioele Zardini

This paper studies the effect of discretizing the parametrization of a dictionary used for Matching Pursuit decompositions of signals. Our approach relies on viewing the continuously parametrized dictionary as an embedded manifold in the…

Differential Geometry · Mathematics 2009-11-13 Laurent Jacques , Christophe De Vleeschouwer

Categorical compositional distributional model of Coecke et al. (2010) suggests a way to combine grammatical composition of the formal, type logical models with the corpus based, empirical word representations of distributional semantics.…

Computation and Language · Computer Science 2015-10-15 Esma Balkir , Mehrnoosh Sadrzadeh , Bob Coecke

In spite of the recent surge of interest in quantile regression, joint estimation of linear quantile planes remains a great challenge in statistics and econometrics. We propose a novel parametrization that characterizes any collection of…

Methodology · Statistics 2015-07-14 Yun Yang , Surya Tokdar

We introduce categories of extended Gaussian maps and Gaussian relations which unify Gaussian probability distributions with relational nondeterminism in the form of linear relations. Both have crucial and well-understood applications in…

Logic in Computer Science · Computer Science 2023-06-08 Dario Stein , Richard Samuelson

Type-based compositional distributional semantic models present an interesting line of research into functional representations of linguistic meaning. One of the drawbacks of such models, however, is the lack of training data required to…

Computation and Language · Computer Science 2017-05-08 Tamara Polajnar