The KSBA moduli space of stable log Calabi-Yau surfaces

We prove that every irreducible component of the coarse Kollár-Shepherd-Barron and Alexeev (KSBA) moduli space of stable log Calabi–Yau surfaces admits a finite cover by a projective toric variety. This verifies a conjecture of Hacking-Keel-Yu. The proof combines tools from log smooth deformation theory, the minimal model program, punctured log Gromov-Witten theory and mirror symmetry.