Latticed k-Induction with an Application to Probabilistic Programs.
Kevin BatzMingshuai ChenBenjamin Lucien KaminskiJoost-Pieter KatoenChristoph MathejaPhilipp SchröerPublished in: CoRR (2021)
Keyphrases
- functional programs
- probabilistic model
- uncertain data
- program synthesis
- inductive learning
- concept learning
- intermediate level
- rule induction
- computer programs
- context sensitive
- generative model
- belief networks
- machine learning
- inductive inference
- information theoretic
- probability theory
- fixpoint
- probabilistic logic
- data driven
- constructive induction
- bayesian networks
- social networks