Verification as Learning Geometric Concepts.
Rahul SharmaSaurabh GuptaBharath HariharanAlex AikenAditya V. NoriPublished in: SAS (2013)
Keyphrases
- concept learning
- learning process
- learning systems
- learning algorithm
- reinforcement learning
- incremental learning
- learning paradigms
- learning tasks
- online learning
- mobile learning
- background knowledge
- associative learning
- data sets
- learning analytics
- knowledge acquisition
- supervised learning
- active learning
- expert systems
- learning environment
- artificial intelligence
- genetic algorithm