83 citations · 175 across the 14 of their papers we have counts for
3 papers · 1 filter
Overfitting in Synthesis: Theory and Practice (Extended Version)
Saswat Padhi, Todd Millstein, Aditya Nori +1
In syntax-guided synthesis (SyGuS), a synthesizer's goal is to automatically generate a program belonging to a grammar of possible implementations that meets a logical specificatio…
Symbolic Exact Inference for Discrete Probabilistic Programs
Steven Holtzen, Todd Millstein, Guy Van den Broeck
The computational burden of probabilistic inference remains a hurdle for applying probabilistic programming languages to practical problems of interest. In this work, we provide a…
Generating and Sampling Orbits for Lifted Probabilistic Inference
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. Lifted inference algorith…