Learning the boundary of inductive invariants.
Yotam M. Y. FeldmanMooly SagivSharon ShohamJames R. WilcoxPublished in: Proc. ACM Program. Lang. (2021)
Keyphrases
- learning algorithm
- reinforcement learning
- learning process
- learning systems
- supervised learning
- inductive inference
- learning analytics
- learning problems
- learning tasks
- mobile learning
- probabilistic model
- machine learning
- online learning
- active learning
- multi agent
- artificial intelligence
- genetic algorithm
- inductive learning
- concept learning
- affine invariant
- data sets