research
∙
06/22/2023
From Word Models to World Models: Translating from Natural Language to the Probabilistic Language of Thought
How does language inform our downstream thinking? In particular, how do ...
share
research
∙
06/13/2023
Differentiating Metropolis-Hastings to Optimize Intractable Densities
We develop an algorithm for automatic differentiation of Metropolis-Hast...
research
∙
06/05/2023
Sequential Monte Carlo Steering of Large Language Models using Probabilistic Programs
Even after fine-tuning and reinforcement learning, large language models...
research
∙
02/21/2023
ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs
We introduce a new setting, the category of ωPAP spaces, for reasoning d...
research
∙
12/13/2022
ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs
Optimizing the expected values of probabilistic processes is a central p...
research
∙
03/05/2022
Recursive Monte Carlo and Variational Inference with Auxiliary Variables
A key challenge in applying Monte Carlo and variational inference (VI) i...
research
∙
11/30/2021
Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages
Automatic differentiation (AD) aims to compute derivatives of user-defin...
research
∙
07/23/2020
PClean: Bayesian Data Cleaning at Scale with Domain-Specific Probabilistic Programming
Data cleaning can be naturally framed as probabilistic inference in a ge...
research
∙
07/20/2020