Learning Proof Transformations and Its Applications in Interactive Theorem Proving.

Liao Zhang Lasse Blaauwbroek Cezary Kaliszyk Josef Urban

Published in: FroCoS (2023)

Keyphrases

learning systems
learning algorithm
learning process
reinforcement learning
learning environment
prior knowledge
concept learning
machine learning
genetic algorithm
knowledge base
case study
search algorithm
training set
artificial neural networks
supervised learning
empirical studies