Extremely Deep Proofs.

Noah Fleming Toniann Pitassi Robert Robere

Published in: ITCS (2022)

Keyphrases

theorem proving
mathematical proofs
real world
deep learning
formal proof
formal proofs
decision making
three dimensional
theorem prover
equational theories
artificial intelligence
multimedia
decision trees