Login / Signup
Ribbon Proofs.
John Wickerson
Published in:
Arch. Formal Proofs (2013)
Keyphrases
</>
theorem prover
theorem proving
equational theories
image processing
formal proof
automated theorem proving
neural network
search algorithm
mathematical proofs
formal proofs
lower bound
cooperative
reinforcement learning
training data
decision trees
artificial intelligence
information retrieval