OAI/NumberTheory/TwoPoint/Circuits/CircuitDegreeBound.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

At fixed depth, the sampled polynomial degree is a power of the sampling count times the logarithm of the circuit size.

  1. theorem OAI.TwoPointCorrelations.AC0Circuit.approximationDegree_le line 13