Towards Automatic Inference of Inductive Invariants.
Haojun MaAman GoelJean-Baptiste JeanninManos KapritsosBaris KasikciKarem A. SakallahPublished in: HotOS (2019)
Keyphrases
- deductive reasoning
- inductive learning
- rule learning
- affine invariant
- real time
- efficient learning
- probabilistic inference
- bayesian inference
- quasi invariant
- grammatical inference
- moment invariants
- inductive inference
- invariant features
- maximum likelihood
- knowledge representation
- object recognition
- website
- learning algorithm
- data sets