POPL 2026
Sun 11 - Sat 17 January 2026 Rennes, France

This program is tentative and subject to change.

Sun 11 Jan 2026 16:00 - 16:10 at Salle 13 - Fourth Session Chair(s): Guillaume Baudart

Bayesian modeling requires an iterative workflow of model exploration, validation through diagnostics, and evidence-based refinement. While principled, this process demands substantial manual effort and expertise. We present a multi-agent system that automates the complete Bayesian workflow while maintaining interpretability. Given a dataset, specialized agents coordinate to explore model alternatives, implement probabilistic programs, run inference, interpret diagnostics, and iterate based on validation results. The system produces both validated models and exploration traces documenting all modeling decisions. In experiments on PosteriorDB datasets, our system achieves competitive predictive performance while generating complete audit trails of the modeling process.

Extended Abstract (lafi2026.pdf)323KiB

This program is tentative and subject to change.

Sun 11 Jan

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

16:00 - 18:00
Fourth SessionLAFI at Salle 13
Chair(s): Guillaume Baudart Inria
16:00
10m
Talk
Multi-Agent Systems for Traceable Bayesian Workflow
LAFI
Xianda Sun University of Cambridge, Andrew D. Gordon Cogna and University of Edinburgh, Hong Ge University of Cambridge
File Attached
16:12
10m
Talk
Grammar-Constrained LLM Generation for Reliable and Efficient Probabilistic Program Synthesis
LAFI
Madhav Kanda University of Illinois Urbana-Champaign, Shubham Ugare Meta, Sasa Misailovic University of Illinois at Urbana-Champaign
16:24
10m
Talk
Language-Model Probabilistic Programming for Improving Autoformalization via Cycle Consistency and Incremental Type-Checking
LAFI
Mauricio Barba da Costa MIT, Fabian Zaiser MIT, Katherine Collins MIT, Romir Patel MIT, Timothy O'Donnell , Alexander K. Lew Yale University, Joshua B. Tenenbaum Massachusetts Institute of Technology, Vikash K. Mansinghka Massachusetts Institute of Technology, Cameron Freer Massachusetts Institute of Technology
16:35
80m
Poster
Poster Session
LAFI

Hide past events