A second moment proof of the spread lemma.

Elchanan Mossel Jonathan Niles-Weed Nike Sun Ilias Zadik

Published in: CoRR (2022)

Keyphrases

johnson lindenstrauss
theorem prover
theorem proving
lower bound
special case
linear logic
real time
information retrieval
social networks
objective function
mathematical proofs
geometry theorem proving