Szegedy, Christian

23 publications

ICLR 2024 Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization Jin Peng Zhou, Charles E Staats, Wenda Li, Christian Szegedy, Kilian Q Weinberger, Yuhuai Wu

ICLR 2024 Magnushammer: A Transformer-Based Approach to Premise Selection Maciej Mikuła, Szymon Tworkowski, Szymon Antoniak, Bartosz Piotrowski, Albert Q. Jiang, Jin Peng Zhou, Christian Szegedy, Łukasz Kuciński, Piotr Miłoś, Yuhuai Wu

NeurIPSW 2023 Magnushammer: A Transformer-Based Approach to Premise Selection Maciej Mikuła, Szymon Antoniak, Szymon Tworkowski, Bartosz Piotrowski, Albert Jiang, Jin Peng Zhou, Christian Szegedy, Łukasz Kuciński, Piotr Miłoś, Yuhuai Wu

NeurIPS 2022 Autoformalization with Large Language Models Yuhuai Wu, Albert Qiaochu Jiang, Wenda Li, Markus Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy

ICLR 2022 Memorizing Transformers Yuhuai Wu, Markus Norman Rabe, DeLesley Hutchins, Christian Szegedy

ICML 2021 LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning Yuhuai Wu, Markus N Rabe, Wenda Li, Jimmy Ba, Roger B Grosse, Christian Szegedy

ICLR 2021 Mathematical Reasoning via Self-Supervised Skip-Tree Training Markus Norman Rabe, Dennis Lee, Kshitij Bansal, Christian Szegedy

AAAI 2020 Graph Representations for Higher-Order Logic and Theorem Proving Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy

ICLR 2020 Mathematical Reasoning in Latent Space Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal

ICML 2019 HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving Kshitij Bansal, Sarah Loos, Markus Rabe, Christian Szegedy, Stewart Wilcox

ICLR 2017 HolStep: A Machine Learning Dataset for Higher-Order Logic Theorem Proving Cezary Kaliszyk, François Chollet, Christian Szegedy

AAAI 2017 Inception-V4, Inception-ResNet and the Impact of Residual Connections on Learning Christian Szegedy, Sergey Ioffe, Vincent Vanhoucke, Alexander A. Alemi

NeurIPS 2016 DeepMath - Deep Sequence Models for Premise Selection Geoffrey Irving, Christian Szegedy, Alexander A Alemi, Niklas Een, Francois Chollet, Josef Urban

CVPR 2016 Rethinking the Inception Architecture for Computer Vision Christian Szegedy, Vincent Vanhoucke, Sergey Ioffe, Jon Shlens, Zbigniew Wojna

ECCV 2016 SSD: Single Shot MultiBox Detector Wei Liu, Dragomir Anguelov, Dumitru Erhan, Christian Szegedy, Scott E. Reed, Cheng-Yang Fu, Alexander C. Berg

ICML 2015 Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift Sergey Ioffe, Christian Szegedy

ICLR 2015 Explaining and Harnessing Adversarial Examples Ian J. Goodfellow, Jonathon Shlens, Christian Szegedy

CVPR 2015 Going Deeper with Convolutions Christian Szegedy, Wei Liu, Yangqing Jia, Pierre Sermanet, Scott Reed, Dragomir Anguelov, Dumitru Erhan, Vincent Vanhoucke, Andrew Rabinovich

ICLR 2015 Training Deep Neural Networks on Noisy Labels with Bootstrapping Scott E. Reed, Honglak Lee, Dragomir Anguelov, Christian Szegedy, Dumitru Erhan, Andrew Rabinovich

CVPR 2014 DeepPose: Human Pose Estimation via Deep Neural Networks Alexander Toshev, Christian Szegedy

ICLR 2014 Intriguing Properties of Neural Networks Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian J. Goodfellow, Rob Fergus

CVPR 2014 Scalable Object Detection Using Deep Neural Networks Dumitru Erhan, Christian Szegedy, Alexander Toshev, Dragomir Anguelov

NeurIPS 2013 Deep Neural Networks for Object Detection Christian Szegedy, Alexander Toshev, Dumitru Erhan