Bounded Quantifier Instantiation for Checking Inductive Invariants.
Yotam M. Y. FeldmanOded PadonNeil ImmermanMooly SagivSharon ShohamPublished in: Log. Methods Comput. Sci. (2019)
Keyphrases
- machine learning
- inductive learning
- functional programs
- inductive reasoning
- moment invariants
- inductive logic programming
- affine invariant
- databases
- quantifier elimination
- neural network
- database
- concept learning
- invariant features
- pattern recognition
- asymptotically optimal
- consistency checking
- real world
- projective invariants
- inductive concept learning