Data-Driven Synthesis of Full Probabilistic Programs
Abstract elided by the publisher.
Related papers
- Data-Driven Invariant Learning for Probabilistic Programs CAV 2022
- Bayesian synthesis of probabilistic programs for automatic data modeling POPL 2019
- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes CAV 2022
- Data-driven synthesis for object-oriented frameworks OOPSLA 2011
- Manthan: A Data-Driven Approach for Boolean Function Synthesis CAV 2020
- Data-driven lemma synthesis for interactive proofs OOPSLA 2022
- Program synthesis using conflict-driven learning PLDI 2018
- Efficient synthesis of probabilistic programs PLDI 2015