Towards Finding Longer Proofs.

Zsolt Zombori Adrián Csiszárik Henryk Michalewski Cezary Kaliszyk Josef Urban

Published in: CoRR (2019)

Keyphrases

information retrieval
machine learning
databases
feature extraction
high quality
cooperative
preprocessing
expert systems
artificial neural networks
theorem proving
formal proofs