Local Verification of Global Proofs.

Laurent Feuilloley Juho Hirvonen

Published in: DISC (2018)

Keyphrases

formal proof
three dimensional
model checking
data mining
machine learning
genetic algorithm
knowledge base
theorem prover
database
real world
multiscale
relational databases
global information
face verification
formal proofs