PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs.
Roman AndriushchenkoMilan CeskaSebastian JungesJoost-Pieter KatoenSimon StupinskýPublished in: CAV (1) (2021)
Keyphrases
- functional programs
- inductive learning
- software tools
- probabilistic model
- machine learning
- computer programs
- bayesian networks
- database systems
- artificial intelligence
- image sequences
- search algorithm
- relational databases
- hidden markov models
- logic programming
- user friendly
- inductive logic programming
- context sensitive
- e learning
- concept learning
- inductive inference
- information retrieval
- neural network
- free software