ProofWatch: Watchlist Guidance for Large Theories in E.

Zarathustra Amadeus Goertzel Jan Jakubuv Stephan Schulz Josef Urban

Published in: CoRR (2018)

Keyphrases

theoretical framework
formal models
real time
data sets
databases
neural network
genetic algorithm
computer vision
feature selection
database systems
data structure
color images
mathematical models
design theory