Login / Signup
Tradeoffs for small-depth Frege proofs.
Toniann Pitassi
Prasanna Ramakrishnan
Li-Yang Tan
Published in:
CoRR (2021)
Keyphrases
</>
small number
formal proofs
neural network
depth map
depth information
design decisions
decision procedures