Quasi-Linear Size PCPs with Small Soundness from HDX. - Mitali Bafna; Dor Minzer; Nikhil Vyas 001; Zhiwei Yun (STOC, 2025)