Improving ENIGMA-style Clause Selection while Learning From History.
Martin SudaPublished in: CADE (2021)
Keyphrases
- incremental learning
- learning algorithm
- learning process
- supervised learning
- unsupervised learning
- real time
- information systems
- decision trees
- reinforcement learning
- online learning
- knowledge acquisition
- elementary school
- learning mechanism
- learning community
- selection algorithm
- learning scenarios
- learning problems
- learning tasks
- active learning
- expert systems
- neural network
- data sets