Formality conjecture for K3 surfaces - Nero Budur; Ziyu Zhang (2018)