Todd Millstein

Identifiers

No identifiers captured yet.

Papers (6)

1. Probabilistic Programs of Thought cs.CL · 2026 · author #4
2. Overfitting in Synthesis: Theory and Practice (Extended Version) cs.PL · 2019 · author #2
3. Symbolic Exact Inference for Discrete Probabilistic Programs cs.PL · 2019 · author #2
4. Generating and Sampling Orbits for Lifted Probabilistic Inference cs.AI · 2019 · author #2
5. FlashProfile: A Framework for Synthesizing Data Profiles cs.LG · 2017 · author #6
6. Probabilistic Program Abstractions cs.AI · 2017 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Guy Van den Broeck 4 shared papers
• Steven Holtzen 3 shared papers
• Saswat Padhi 2 shared papers
• Aditya Nori 1 shared papers
• Daniel Israel 1 shared papers
• Daniel Perelman 1 shared papers
• Kyle Richardson 1 shared papers
• Oleksandr Polozov 1 shared papers
• Poorva Garg 1 shared papers
• Prateek Jain 1 shared papers
• Rahul Sharma 1 shared papers
• Renato Lui Geh 1 shared papers
• Sumit Gulwani 1 shared papers