Extremely Deep Proofs.

Noah Fleming Toniann Pitassi Robert Robere

Published in: Electron. Colloquium Comput. Complex. (2021)

Keyphrases

special case
theorem proving
theorem prover
artificial intelligence
databases
neural network
formal proofs
mathematical proofs
database
formal proof
mobile robot
search algorithm
support vector
learning environment
data structure
feature extraction
database systems