The Surprising Power of Constant Depth Algebraic Proofs.

Russell Impagliazzo Sasank Mouli Toniann Pitassi

Published in: LICS (2020)

Keyphrases

power consumption
machine learning
computer algebra
data sets
automated theorem provers
image processing
computational power
theorem proving
depth map
algebraic expressions
formal proof
decision procedures
higher order
wireless sensor networks
hidden markov models
social networks
artificial intelligence
data mining