Local verification of global proofs.

Laurent Feuilloley Juho Hirvonen

Published in: CoRR (2018)

Keyphrases

formal proof
real time
neural network
theorem proving
machine learning
information systems
evolutionary algorithm
multiresolution