Picture for Todd Millstein

Todd Millstein

Scaling Integer Arithmetic in Probabilistic Programs

Add code
Jul 25, 2023
Viaarxiv icon

flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs

Add code
Oct 19, 2021
Figure 1 for flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs
Figure 2 for flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs
Figure 3 for flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs
Figure 4 for flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs
Viaarxiv icon

Counterexample-Guided Learning of Monotonic Neural Networks

Add code
Jun 16, 2020
Figure 1 for Counterexample-Guided Learning of Monotonic Neural Networks
Figure 2 for Counterexample-Guided Learning of Monotonic Neural Networks
Figure 3 for Counterexample-Guided Learning of Monotonic Neural Networks
Figure 4 for Counterexample-Guided Learning of Monotonic Neural Networks
Viaarxiv icon

Overfitting in Synthesis: Theory and Practice (Extender Version)

Add code
May 27, 2019
Figure 1 for Overfitting in Synthesis: Theory and Practice (Extender Version)
Figure 2 for Overfitting in Synthesis: Theory and Practice (Extender Version)
Figure 3 for Overfitting in Synthesis: Theory and Practice (Extender Version)
Figure 4 for Overfitting in Synthesis: Theory and Practice (Extender Version)
Viaarxiv icon

Generating and Sampling Orbits for Lifted Probabilistic Inference

Add code
Mar 14, 2019
Figure 1 for Generating and Sampling Orbits for Lifted Probabilistic Inference
Figure 2 for Generating and Sampling Orbits for Lifted Probabilistic Inference
Figure 3 for Generating and Sampling Orbits for Lifted Probabilistic Inference
Figure 4 for Generating and Sampling Orbits for Lifted Probabilistic Inference
Viaarxiv icon

LoopInvGen: A Loop Invariant Generator based on Precondition Inference

Add code
Jul 08, 2018
Figure 1 for LoopInvGen: A Loop Invariant Generator based on Precondition Inference
Figure 2 for LoopInvGen: A Loop Invariant Generator based on Precondition Inference
Viaarxiv icon

FlashProfile: Interactive Synthesis of Syntactic Profiles

Add code
Sep 17, 2017
Figure 1 for FlashProfile: Interactive Synthesis of Syntactic Profiles
Figure 2 for FlashProfile: Interactive Synthesis of Syntactic Profiles
Figure 3 for FlashProfile: Interactive Synthesis of Syntactic Profiles
Figure 4 for FlashProfile: Interactive Synthesis of Syntactic Profiles
Viaarxiv icon

Probabilistic Program Abstractions

Add code
Jul 14, 2017
Figure 1 for Probabilistic Program Abstractions
Figure 2 for Probabilistic Program Abstractions
Figure 3 for Probabilistic Program Abstractions
Figure 4 for Probabilistic Program Abstractions
Viaarxiv icon