Tactic Learning and Proving for the Coq Proof Assistant.

Lasse Blaauwbroek Josef Urban Herman Geuvers

Published in: CoRR (2020)

Keyphrases

learning process
learning algorithm
test bed
online learning
database
active learning
learning systems
learning tasks
learning scheme
prior knowledge
background knowledge
inductive inference
inductive learning
incremental learning
supervised learning
training data
data sets
real time