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:
J. ACM (2022)
Keyphrases
</>
theorem prover
super resolution
learning theory
phase transition
formal proofs
low resolution
high resolution images
man made
theorem proving
spatial resolution
neural network
np complete
hidden markov models
high resolution
feature selection
computer vision
information retrieval
real world