Why Extension-Based Proofs Fail.

Dan Alistarh James Aspnes Faith Ellen Rati Gelashvili Leqi Zhu

Published in: CoRR (2018)

Keyphrases

theorem proving
neural network
special case
image processing
preprocessing
theorem prover
formal proofs
equational theories