A simpler strong refutation of random k-XOR.

Published in: CoRR (2020)

Keyphrases

object recognition
theorem proving
randomly generated
inductive inference
databases
theorem prover
three dimensional
neural network
metadata
cooperative
lower bound
expert systems
d objects
uniformly distributed