Analysis of Boolean Functions in Lean

6. Pseudorandomness and F₂-polynomials🔗

Notions of pseudorandomness, algebraic normal forms over \mathbb F_2, explicit pseudorandom constructions, applications in learning and testing, fooling \mathbb F_2-polynomials, and the chapter exercises and notes.

  1. 6.1. Notions of pseudorandomness
  2. 6.2. F₂-polynomials
  3. 6.3. Constructions of various pseudorandom functions
  4. 6.4. Applications in learning and testing
  5. 6.5. Highlight: Fooling F₂-polynomials
  6. 6.6. Exercises and notes