activity
20122026
most citedChurch: a language for generative models

490 citations · 1k across the 74 of their papers we have counts for

collaborators
Showing 2021Show all

6 papers · 1 filter

cs.PL2021

Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages

Alexander K. Lew, Mathieu Huot, Vikash K. Mansinghka

Automatic differentiation (AD) aims to compute derivatives of user-defined functions, but in Turing-complete languages, this simple specification does not fully capture AD's behavi…

cs.CV2021★ 5 cited

3DP3: 3D Scene Perception via Probabilistic Programming

Nishad Gothoskar, Marco Cusumano-Towner, Ben Zinberg +6

We present 3DP3, a framework for inverse graphics that uses inference in a structured generative model of objects, scenes, and images. 3DP3 uses (i) voxel models to represent the 3…

cs.RO2021★ 33 cited

From Machine Learning to Robotics: Challenges and Opportunities for Embodied Intelligence

Nicholas Roy, Ingmar Posner, Tim Barfoot +17

Machine learning has long since become a keystone technology, accelerating science and applications in a broad range of domains. Consequently, the notion of applying learning metho…

cs.LG2021

Hierarchical Infinite Relational Model

Feras A. Saad, Vikash K. Mansinghka

This paper describes the hierarchical infinite relational model (HIRM), a new probabilistic generative model for noisy, sparse, and heterogeneous relational data. Given a set of re…

cs.AI2021★ 4 cited

Modeling the Mistakes of Boundedly Rational Agents Within a Bayesian Theory of Mind

Arwa Alanqary, Gloria Z. Lin, Joie Le +3

When inferring the goals that others are trying to achieve, people intuitively understand that others might make mistakes along the way. This is crucial for activities such as teac…

cs.LG2021

SBI: A Simulation-Based Test of Identifiability for Bayesian Causal Inference

Sam Witty, David Jensen, Vikash Mansinghka

A growing family of approaches to causal inference rely on Bayesian formulations of assumptions that go beyond causal graph structure. For example, Bayesian approaches have been de…