Tactic Learning and Proving for the Coq Proof Assistant.
Lasse BlaauwbroekJosef UrbanHerman GeuversPublished in: LPAR (2020)
Keyphrases
- learning algorithm
- learning process
- artificial intelligence
- information systems
- multimedia
- active learning
- online learning
- intelligent tutoring systems
- learning problems
- science education
- real time
- learning scheme
- concept learning
- learning models
- inductive learning
- learning tasks
- empirical studies
- knowledge acquisition
- state space
- object recognition
- data sets