research
∙
07/25/2023
Scaling Integer Arithmetic in Probabilistic Programs
Distributions on integers are ubiquitous in probabilistic modeling but r...
share
research
∙
05/25/2023
Type Prediction With Program Decomposition and Fill-in-the-Type Training
TypeScript and Python are two programming languages that support optiona...
research
∙
04/03/2023
Lilac: A Modal Separation Logic for Conditional Probability
We present Lilac, a separation logic for reasoning about probabilistic p...
research
∙
10/19/2021
flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs
Probabilistic programming is emerging as a popular and effective means o...
research
∙
05/26/2021
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference
We revisit the symbolic verification of Markov chains with respect to fi...
research
∙
06/26/2020
On the Relationship Between Probabilistic Circuits and Determinantal Point Processes
Scaling probabilistic models to large realistic problems and datasets is...
research
∙
05/18/2020
Scaling Exact Inference for Discrete Probabilistic Programs
Probabilistic programming languages (PPLs) are an expressive means of re...
research
∙
04/03/2019
Symbolic Exact Inference for Discrete Probabilistic Programs
The computational burden of probabilistic inference remains a hurdle for...
research
∙
03/12/2019
Generating and Sampling Orbits for Lifted Probabilistic Inference
Lifted inference scales to large probability models by exploiting symmet...
research
∙
05/28/2017
