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:
CoRR (2019)
Keyphrases
</>
theorem prover
computational complexity
computer vision
databases
feature selection
np hard
spatial resolution
theorem proving
high resolution
worst case
learning theory
natural deduction