← Search

Todd Millstein

4 accepted papers

2023

Scaling integer arithmetic in probabilistic programs

UAI 2023poster

Distributions on integers are ubiquitous in probabilistic modeling but remain challenging for many of today’s probabilistic programming languages (PPLs). The core challenge comes from discrete structure: many of today’s PPL inference strategies rely on enumeration, sampling, or differentiation in or…

2020

Counterexample-Guided Learning of Monotonic Neural Networks

NeurIPS 2020poster

The widespread adoption of deep learning is often attributed to its automatic feature construction with minimal inductive bias. However, in many real-world tasks, the learned function is intended to satisfy domain-specific constraints. We focus on monotonicity constraints, which are common and requi…

2019

Generating and Sampling Orbits for Lifted Probabilistic Inference

UAI 2019poster

A key goal in the design of probabilistic inference algorithms is identifying and exploit- ing properties of the distribution that make inference tractable. Lifted inference algorithms identify symmetry as a property that enables efficient inference and seek to scale with the degree of symmetry of a…