research
∙
07/25/2023
Scaling Integer Arithmetic in Probabilistic Programs
Distributions on integers are ubiquitous in probabilistic modeling but r...
share
research
∙
07/11/2023
What do LLMs need to Synthesize Correct Router Configurations?
We investigate whether Large Language Models (e.g., GPT-4) can synthesiz...
research
∙
04/20/2022
LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification
Current network control plane verification tools cannot scale to large n...
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/16/2020
Counterexample-Guided Learning of Monotonic Neural Networks
The widespread adoption of deep learning is often attributed to its auto...
research
∙
05/18/2020
Scaling Exact Inference for Discrete Probabilistic Programs
Probabilistic programming languages (PPLs) are an expressive means of re...
research
∙
03/26/2020
Data-Driven Inference of Representation Invariants
A representation invariant is a property that holds of all values of abs...
research
∙
05/17/2019
Overfitting in Synthesis: Theory and Practice (Extended Version)
In syntax-guided synthesis (SyGuS), a synthesizer's goal is to automatic...
research
∙
05/17/2019
Overfitting in Synthesis: Theory and Practice (Extender Version)
In syntax-guided synthesis (SyGuS), a synthesizer's goal is to automatic...
research
∙
05/17/2019
Overfitting in Synthesis: Theory and Practice
In syntax-guided synthesis (SyGuS), a synthesizer's goal is to automatic...
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
∙
07/07/2017
Data-Driven Loop Invariant Inference with Automatic Feature Synthesis
We present LoopInvGen, a tool for generating loop invariants that can pr...
research
∙
05/28/2017
