Christian Szegedy

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 36

Top Topics

Graph Representations

Machine Learning

Higher Order Logic

Top Venues

Publications

Jin Peng Zhou, Charles Staats, Wenda Li, Christian Szegedy, Kilian Q. Weinberger, Yuhuai Wu
Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization. ICLR (2024)
Jin Peng Zhou, Charles Staats, Wenda Li, Christian Szegedy, Kilian Q. Weinberger, Yuhuai Wu
Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization. CoRR (2024)
Maciej Mikula, Szymon Tworkowski, Szymon Antoniak, Bartosz Piotrowski, Albert Q. Jiang, Jin Peng Zhou, Christian Szegedy, Lukasz Kucinski, Piotr Milos, Yuhuai Wu
Magnushammer: A Transformer-Based Approach to Premise Selection. ICLR (2024)
David Dalrymple, Joar Skalse, Yoshua Bengio, Stuart Russell, Max Tegmark, Sanjit Seshia, Steve Omohundro, Christian Szegedy, Ben Goldhaber, Nora Ammann, Alessandro Abate, Joe Halpern, Clark W. Barrett, Ding Zhao, Tan Zhi-Xuan, Jeannette Wing, Joshua B. Tenenbaum
Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems. CoRR (2024)
Maciej Mikula, Szymon Antoniak, Szymon Tworkowski, Albert Qiaochu Jiang, Jin Peng Zhou, Christian Szegedy, Lukasz Kucinski, Piotr Milos, Yuhuai Wu
Magnushammer: A Transformer-based Approach to Premise Selection. CoRR (2023)
Yuhuai Wu, Albert Q. Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy
Autoformalization with Large Language Models. CoRR (2022)
Yuhuai Wu, Markus N. Rabe, DeLesley Hutchins, Christian Szegedy
Memorizing Transformers. CoRR (2022)
Yuhuai Wu, Albert Qiaochu Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy
Autoformalization with Large Language Models. NeurIPS (2022)
Piotr Nawrot, Szymon Tworkowski, Michal Tyrolski, Lukasz Kaiser, Yuhuai Wu, Christian Szegedy, Henryk Michalewski
Hierarchical Transformers Are More Efficient Language Models. NAACL-HLT (Findings) (2022)
Yuhuai Wu, Markus Norman Rabe, DeLesley Hutchins, Christian Szegedy
Memorizing Transformers. ICLR (2022)
Yuhuai Wu, Markus N. Rabe, Wenda Li, Jimmy Ba, Roger B. Grosse, Christian Szegedy
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning. CoRR (2021)
Piotr Nawrot, Szymon Tworkowski, Michal Tyrolski, Lukasz Kaiser, Yuhuai Wu, Christian Szegedy, Henryk Michalewski
Hierarchical Transformers Are More Efficient Language Models. CoRR (2021)
Markus Norman Rabe, Dennis Lee, Kshitij Bansal, Christian Szegedy
Mathematical Reasoning via Self-supervised Skip-tree Training. ICLR (2021)
Yuhuai Wu, Markus N. Rabe, Wenda Li, Jimmy Ba, Roger B. Grosse, Christian Szegedy
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning. ICML (2021)
Markus N. Rabe, Christian Szegedy
Towards the Automatic Mathematician. CADE (2021)
Markus N. Rabe, Dennis Lee, Kshitij Bansal, Christian Szegedy
Language Modeling for Formal Mathematics. CoRR (2020)
Tolgahan Cakaloglu, Christian Szegedy, Xiaowei Xu
Text Embeddings for Retrieval from a Large Knowledge Base. RCIS (2020)
Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal
Mathematical Reasoning in Latent Space. ICLR (2020)
Christian Szegedy
A Promising Path Towards Autoformalization and General Artificial Intelligence. CICM (2020)
Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy
Graph Representations for Higher-Order Logic and Theorem Proving. AAAI (2020)
Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving. ICML (2019)
Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy
Learning to Reason in Large Theories without Imitation. CoRR (2019)
Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version). CoRR (2019)
Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal
Mathematical Reasoning in Latent Space. CoRR (2019)
Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy
Graph Representations for Higher-Order Logic and Theorem Proving. CoRR (2019)
Tolgahan Cakaloglu, Christian Szegedy, Xiaowei Xu
Text Embeddings for Retrieval From a Large Knowledge Base. CoRR (2018)
Cezary Kaliszyk, François Chollet, Christian Szegedy
HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving. ICLR (Poster) (2017)
Christian Szegedy, Sergey Ioffe, Vincent Vanhoucke, Alexander A. Alemi
Inception-v4, Inception-ResNet and the Impact of Residual Connections on Learning. AAAI (2017)
Sarah M. Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk
Deep Network Guided Proof Search. CoRR (2017)
Cezary Kaliszyk, François Chollet, Christian Szegedy
HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving. CoRR (2017)
Sarah M. Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk
Deep Network Guided Proof Search. LPAR (2017)
Alexander A. Alemi, François Chollet, Geoffrey Irving, Christian Szegedy, Josef Urban
DeepMath - Deep Sequence Models for Premise Selection. CoRR (2016)
Wei Liu, Dragomir Anguelov, Dumitru Erhan, Christian Szegedy, Scott E. Reed, Cheng-Yang Fu, Alexander C. Berg
SSD: Single Shot MultiBox Detector. ECCV (1) (2016)
Geoffrey Irving, Christian Szegedy, Alexander A. Alemi, Niklas Eén, François Chollet, Josef Urban
DeepMath - Deep Sequence Models for Premise Selection. NIPS (2016)
Christian Szegedy, Sergey Ioffe, Vincent Vanhoucke
Inception-v4, Inception-ResNet and the Impact of Residual Connections on Learning. CoRR (2016)
Christian Szegedy, Vincent Vanhoucke, Sergey Ioffe, Jonathon Shlens, Zbigniew Wojna
Rethinking the Inception Architecture for Computer Vision. CVPR (2016)
Ian J. Goodfellow, Jonathon Shlens, Christian Szegedy
Explaining and Harnessing Adversarial Examples. ICLR (Poster) (2015)
Qian Yu, Christian Szegedy, Martin C. Stumpe, Liron Yatziv, Vinay D. Shet, Julian Ibarz, Sacha Arnoud
Large Scale Business Discovery from Street Level Imagery. CoRR (2015)
Sergey Ioffe, Christian Szegedy
Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift. CoRR (2015)
Wei Liu, Dragomir Anguelov, Dumitru Erhan, Christian Szegedy, Scott E. Reed, Cheng-Yang Fu, Alexander C. Berg
SSD: Single Shot MultiBox Detector. CoRR (2015)
Sergey Ioffe, Christian Szegedy
Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift. ICML (2015)
Christian Szegedy, Vincent Vanhoucke, Sergey Ioffe, Jonathon Shlens, Zbigniew Wojna
Rethinking the Inception Architecture for Computer Vision. CoRR (2015)
Christian Szegedy, Wei Liu, Yangqing Jia, Pierre Sermanet, Scott E. Reed, Dragomir Anguelov, Dumitru Erhan, Vincent Vanhoucke, Andrew Rabinovich
Going deeper with convolutions. CVPR (2015)
Scott E. Reed, Honglak Lee, Dragomir Anguelov, Christian Szegedy, Dumitru Erhan, Andrew Rabinovich
Training Deep Neural Networks on Noisy Labels with Bootstrapping. ICLR (Workshop) (2015)
Alexander Toshev, Christian Szegedy
DeepPose: Human Pose Estimation via Deep Neural Networks. CVPR (2014)
Christian Szegedy, Wei Liu, Yangqing Jia, Pierre Sermanet, Scott E. Reed, Dragomir Anguelov, Dumitru Erhan, Vincent Vanhoucke, Andrew Rabinovich
Going Deeper with Convolutions. CoRR (2014)
Christian Szegedy, Scott E. Reed, Dumitru Erhan, Dragomir Anguelov
Scalable, High-Quality Object Detection. CoRR (2014)
Dumitru Erhan, Christian Szegedy, Alexander Toshev, Dragomir Anguelov
Scalable Object Detection Using Deep Neural Networks. CVPR (2014)
Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian J. Goodfellow, Rob Fergus
Intriguing properties of neural networks. ICLR (Poster) (2014)
Christian Szegedy, Alexander Toshev, Dumitru Erhan
Deep Neural Networks for Object Detection. NIPS (2013)
Dumitru Erhan, Christian Szegedy, Alexander Toshev, Dragomir Anguelov
Scalable Object Detection using Deep Neural Networks. CoRR (2013)
Alexander Toshev, Christian Szegedy
DeepPose: Human Pose Estimation via Deep Neural Networks. CoRR (2013)
Roberto Lublinerman, Christian Szegedy, Stavros Tripakis
Modular code generation from synchronous block diagrams: modularity vs. code size. POPL (2009)
Dieter Rautenbach, Christian Szegedy, Jürgen Werber
On the cost of optimal alphabetic code trees with unequal letter costs. Eur. J. Comb. 29 (2) (2008)
Dieter Rautenbach, Christian Szegedy
A class of problems for which cyclic relaxation converges linearly. Comput. Optim. Appl. 41 (1) (2008)
Dieter Rautenbach, Christian Szegedy, Jürgen Werber
The delay of circuits whose inputs have specified arrival times. Discret. Appl. Math. 155 (10) (2007)
Jürgen Werber, Dieter Rautenbach, Christian Szegedy
Timing optimization by restructuring long combinatorial paths. ICCAD (2007)
Philip Chong, Christian Szegedy
A morphing approach to address placement stability. ISPD (2007)
Balázs Szegedy, Christian Szegedy
Symplectic Spaces And Ear-Decomposition Of Matroids. Comb. 26 (3) (2006)
Dieter Rautenbach, Christian Szegedy, Jürgen Werber
Delay optimization of linear depth boolean circuits with prescribed input arrival times. J. Discrete Algorithms 4 (4) (2006)
Christian Szegedy
On the Number of 3-Edge Colorings of Cubic Graphs. Eur. J. Comb. 23 (1) (2002)