Inductive Synthesis for Probabilistic Programs Reaches New Horizons.
Roman AndriushchenkoMilan CeskaSebastian JungesJoost-Pieter KatoenPublished in: CoRR (2021)
Keyphrases
- functional programs
- logic programs
- probabilistic model
- inductive learning
- information theoretic
- recursive programs
- functional language
- program synthesis
- uncertain data
- neural network
- knowledge representation
- generative model
- bayesian networks
- search engine
- data driven
- probabilistic reasoning
- probability theory
- inductive reasoning
- case study
- artificial intelligence