Christian Szegedy3 papers on this site (2013–2022)Autoformalization with Large Language ModelsYuhuai Wu, Albert Q. Jiang, Wenda Li, et al.2022Explaining and Harnessing Adversarial ExamplesIan J. Goodfellow, Jonathon Shlens, Christian Szegedy2014Intriguing properties of neural networksChristian Szegedy, Wojciech Zaremba, Ilya Sutskever, et al.2013