TacticToe: Learning to Prove with Tactics.
Thibault GauthierCezary KaliszykJosef UrbanRamana KumarMichael NorrishPublished in: J. Autom. Reason. (2021)
Keyphrases
- learning process
- learning algorithm
- learning systems
- learning scheme
- concept learning
- incremental learning
- multi class
- learning scenarios
- learning problems
- learning tasks
- knowledge acquisition
- supervised learning
- database
- lower bound
- multi agent systems
- social networks
- artificial intelligence
- machine learning
- real time