Formalization of QFT - Michael R. Douglas; Sarah Hoback; Anna Mei; Ron Nissim (2026)