Learning the Boundary of Inductive Invariants.
Yotam M. Y. FeldmanMooly SagivSharon ShohamJames R. WilcoxPublished in: CoRR (2020)
Keyphrases
- domain knowledge
- inductive inference
- reinforcement learning
- artificial intelligence
- learning algorithm
- learning tasks
- prior knowledge
- computer vision
- feature vectors
- object recognition
- active learning
- hidden markov models
- machine learning
- supervised learning
- online learning
- knowledge acquisition
- learning systems
- background knowledge
- inductive learning
- unsupervised learning
- learning scheme
- concept learning
- object boundaries
- incremental learning
- learning scenarios
- support vector
- expert systems
- learning process
- artificial neural networks