GRUNGE: A Grand Unified ATP Challenge.

Chad E. Brown Thibault Gauthier Cezary Kaliszyk Geoff Sutcliffe Josef Urban

Published in: CoRR (2019)

Keyphrases

automated theorem proving
database
data sets
theorem prover
neural network
knowledge base
image segmentation
multiscale
cooperative
image retrieval
viewpoint
medical images
unified model