A Proof of the Kahn-Kalai Conjecture.

Jinyoung Park Huy Tuan Pham

Published in: FOCS (2022)

Keyphrases

theorem prover
theorem proving
information retrieval
first order logic
linear logic
databases
neural network
three dimensional
data structure
object recognition
feature space
complete axiomatization