Login / Signup
Beyond Natural Proofs: Hardness Magnification and Locality.
Lijie Chen
Shuichi Hirahara
Igor Carboni Oliveira
Ján Pich
Ninad Rajgopal
Rahul Santhanam
Published in:
ITCS (2020)
Keyphrases
</>
learning theory
computational complexity
theorem prover
super resolution
artificial systems
real time
data sets
machine learning
high resolution
np hard
spatial resolution
theorem proving
np hardness
automated theorem provers