Generating readable diagrammatic proofs.

Jim Burton Sven Linker

Published in: VL/HCC (2015)

Keyphrases

database
generation process
automatically generating
formal proofs
databases
neural network
data mining
information retrieval
social networks
computer vision
knowledge base
computational complexity
evolutionary algorithm