Learning to Discover Efficient Mathematical Identities.
Wojciech ZarembaKarol KurachRob FergusPublished in: CoRR (2014)
Keyphrases
- learning algorithm
- inductive learning
- learning scheme
- learning process
- prior knowledge
- inductive inference
- hidden markov models
- learning systems
- online learning
- learning phase
- background knowledge
- learning styles
- lightweight
- knowledge acquisition
- supervised learning
- mobile robot
- computer science
- data structure
- reinforcement learning