Inductive Synthesis for Probabilistic Programs Reaches New Horizons.
Roman AndriushchenkoMilan CeskaSebastian JungesJoost-Pieter KatoenPublished in: TACAS (1) (2021)
Keyphrases
- functional programs
- recursive programs
- program synthesis
- logic programs
- probabilistic model
- bayesian networks
- functional language
- automatic programming
- computer programs
- website
- information systems
- dynamic programming
- uncertain data
- data driven
- functional programming
- fixpoint
- texture synthesis
- answer sets
- inductive learning
- belief networks
- real time
- probability distribution
- image sequences
- decision trees
- social networks
- machine learning
- data mining
- data sets