Session 1B - Semi-Algebraic Proofs, IPS Lower Bounds and the τ-Conjecture

STOC 2020