Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants.
Kevin BatzMingshuai ChenSebastian JungesBenjamin Lucien KaminskiJoost-Pieter KatoenChristoph MathejaPublished in: CoRR (2022)
Keyphrases
- functional programs
- inductive learning
- machine learning
- inductive inference
- knowledge representation
- data driven
- inductive reasoning
- image segmentation
- real time
- concept learning
- inductive logic programming
- uncertain data
- information retrieval
- learning algorithm
- genetic algorithm
- deductive reasoning
- inductive concept learning