Learning Algorithms from Natural Proofs.
Marco L. CarmosinoRussell ImpagliazzoValentine KabanetsAntonina KolokolovaPublished in: Computational Complexity Conference (2016)
Keyphrases
- learning algorithm
- machine learning algorithms
- machine learning
- artificial systems
- theorem proving
- training data
- learning tasks
- reinforcement learning
- learning process
- transfer learning
- hypothesis space
- real time
- supervised learning
- kernel methods
- learning problems
- inference rules
- theorem prover
- learning rate
- genetic algorithm
- subspace learning
- man made