Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz

Published in FOCS 2023, 2023

Download paper here