Learning to Reason with HOL4 tactics.

Thibault Gauthier Cezary Kaliszyk Josef Urban

Published in: CoRR (2018)

Keyphrases

learning process
learning algorithm
learning systems
prior knowledge
active learning
supervised learning
databases
information systems
artificial neural networks
mobile robot
learning phase