Natural Proofs by Alexander A. Razborov and Steven Rudich
ID: natural-proofs-by-alexander-a-razborov-and-steven-rudich
Primary source: mit6875.github.io/PAPERS/natural_proofs.pdf
Section 4, quantitative pseudorandomness barrier.
New to topics? Read the docs here!