Multi-Agent Systems for Traceable Bayesian Workflow
This program is tentative and subject to change.
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 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
16:00 - 18:00 | |||
16:00 10mTalk | 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 10mTalk | 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 10mTalk | 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 80mPoster | Poster Session LAFI | ||