Pattern-based Subterm Selection in Isabelle.

Lars Noschinski Christoph Traut

Published in: CoRR (2021)

Keyphrases

theorem prover
databases
selection strategy
machine learning
genetic algorithm
artificial intelligence
decision making
three dimensional
support vector
multi agent systems
user interface
multiresolution
selection criteria
selection mechanism