no code implementations • 25 Jul 2023 • William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd Millstein, Guy Van Den Broeck
Distributions on integers are ubiquitous in probabilistic modeling but remain challenging for many of today's probabilistic programming languages (PPLs).
no code implementations • 19 Oct 2021 • Ellie Y. Cheng, Todd Millstein, Guy Van Den Broeck, Steven Holtzen
Many of today's probabilistic programming languages (PPLs) have brittle inference performance: the performance of the underlying inference algorithm is very sensitive to the precise way in which the probabilistic program is written.
1 code implementation • NeurIPS 2020 • Aishwarya Sivaraman, Golnoosh Farnadi, Todd Millstein, Guy Van Den Broeck
Additionally, we propose a technique to use monotonicity as an inductive bias for deep learning.
1 code implementation • 18 May 2020 • Steven Holtzen, Guy Van Den Broeck, Todd Millstein
This reduction separates the structure of the distribution from its parameters, enabling logical reasoning tools to exploit that structure for probabilistic inference.
Programming Languages
no code implementations • 17 May 2019 • Saswat Padhi, Todd Millstein, Aditya Nori, Rahul Sharma
A standard approach to mitigate overfitting in machine learning is to run multiple learners with varying expressiveness in parallel.
1 code implementation • 12 Mar 2019 • Steven Holtzen, Todd Millstein, Guy Van Den Broeck
A key goal in the design of probabilistic inference algorithms is identifying and exploiting properties of the distribution that make inference tractable.
no code implementations • ICML 2018 • Steven Holtzen, Guy Broeck, Todd Millstein
Experimentally, we also illustrate the practical benefits of our framework as a tool to decompose probabilistic program inference.
no code implementations • 17 Sep 2017 • Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd Millstein
However, manual inspection of data to identify the different formats is infeasible in standard big-data scenarios.
no code implementations • 7 Jul 2017 • Saswat Padhi, Rahul Sharma, Todd Millstein
We describe the LoopInvGen tool for generating loop invariants that can provably guarantee correctness of a program with respect to a given specification.
no code implementations • 28 May 2017 • Steven Holtzen, Todd Millstein, Guy Van Den Broeck
Abstraction is a fundamental tool for reasoning about complex systems.