Login / Signup
Beyond Natural Proofs: Hardness Magnification and Locality.
Igor Carboni Oliveira
Lijie Chen
Shuichi Hirahara
Ján Pich
Ninad Rajgopal
Rahul Santhanam
Published in:
Electron. Colloquium Comput. Complex. (2019)
Keyphrases
</>
modal logic
decision procedures
sequent calculus
high resolution
real world
learning theory
database
artificial neural networks
np complete
phase transition
theorem proving
equational theories
spatial locality
agnostic learning
artificial systems
super resolution
computational complexity
data sets