Christian Szegedy

According to our database, Christian Szegedy authored at least 43 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization.

Jin Peng Zhou, Charles Staats, Wenda Li, Christian Szegedy, Kilian Q. Weinberger, Yuhuai Wu

CoRR, 2024

2023

Magnushammer: A Transformer-based Approach to Premise Selection.

Maciej Mikula, Szymon Antoniak, Szymon Tworkowski, Albert Qiaochu Jiang, Jin Peng Zhou, Christian Szegedy, Lukasz Kucinski, Piotr Milos, Yuhuai Wu

CoRR, 2023

2022

Autoformalization with Large Language Models.

Yuhuai Wu, Albert Qiaochu Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Hierarchical Transformers Are More Efficient Language Models.

Piotr Nawrot, Szymon Tworkowski, Michal Tyrolski, Lukasz Kaiser, Yuhuai Wu, Christian Szegedy, Henryk Michalewski

Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2022, 2022

Memorizing Transformers.

Yuhuai Wu, Markus Norman Rabe, DeLesley Hutchins, Christian Szegedy

Proceedings of the Tenth International Conference on Learning Representations, 2022

2021

LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning.

Yuhuai Wu, Markus N. Rabe, Wenda Li, Jimmy Ba, Roger B. Grosse, Christian Szegedy

Proceedings of the 38th International Conference on Machine Learning, 2021

Mathematical Reasoning via Self-supervised Skip-tree Training.

Markus Norman Rabe, Dennis Lee, Kshitij Bansal, Christian Szegedy

Proceedings of the 9th International Conference on Learning Representations, 2021

Towards the Automatic Mathematician.

Markus N. Rabe, Christian Szegedy

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Language Modeling for Formal Mathematics.

Markus N. Rabe, Dennis Lee, Kshitij Bansal, Christian Szegedy

CoRR, 2020

Text Embeddings for Retrieval from a Large Knowledge Base.

Tolgahan Cakaloglu, Christian Szegedy, Xiaowei Xu

Proceedings of the Research Challenges in Information Science, 2020

A Promising Path Towards Autoformalization and General Artificial Intelligence.

Christian Szegedy

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

Mathematical Reasoning in Latent Space.

Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal

Proceedings of the 8th International Conference on Learning Representations, 2020

Graph Representations for Higher-Order Logic and Theorem Proving.

Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Learning to Reason in Large Theories without Imitation.

Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy

CoRR, 2019

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version).

Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox

CoRR, 2019

HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving.

Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox

Proceedings of the 36th International Conference on Machine Learning, 2019

2017

Deep Network Guided Proof Search.

Sarah M. Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk

Proceedings of the LPAR-21, 2017

HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving.

Cezary Kaliszyk, François Chollet, Christian Szegedy

Proceedings of the 5th International Conference on Learning Representations, 2017

Inception-v4, Inception-ResNet and the Impact of Residual Connections on Learning.

Christian Szegedy, Sergey Ioffe, Vincent Vanhoucke, Alexander A. Alemi

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Inception-v4, Inception-ResNet and the Impact of Residual Connections on Learning.

Christian Szegedy, Sergey Ioffe, Vincent Vanhoucke

CoRR, 2016

DeepMath - Deep Sequence Models for Premise Selection.

Alexander A. Alemi, François Chollet, Geoffrey Irving, Christian Szegedy, Josef Urban

CoRR, 2016

DeepMath - Deep Sequence Models for Premise Selection.

Geoffrey Irving, Christian Szegedy, Alexander A. Alemi, Niklas Eén, François Chollet, Josef Urban

Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

SSD: Single Shot MultiBox Detector.

Wei Liu, Dragomir Anguelov, Dumitru Erhan, Christian Szegedy, Scott E. Reed, Cheng-Yang Fu, Alexander C. Berg

Proceedings of the Computer Vision - ECCV 2016, 2016

Rethinking the Inception Architecture for Computer Vision.

Christian Szegedy, Vincent Vanhoucke, Sergey Ioffe, Jonathon Shlens, Zbigniew Wojna

Proceedings of the 2016 IEEE Conference on Computer Vision and Pattern Recognition, 2016

2015

Large Scale Business Discovery from Street Level Imagery.

Qian Yu, Christian Szegedy, Martin C. Stumpe, Liron Yatziv, Vinay D. Shet, Julian Ibarz, Sacha Arnoud

CoRR, 2015

Training Deep Neural Networks on Noisy Labels with Bootstrapping.

Scott E. Reed, Honglak Lee, Dragomir Anguelov, Christian Szegedy, Dumitru Erhan, Andrew Rabinovich

Proceedings of the 3rd International Conference on Learning Representations, 2015

Explaining and Harnessing Adversarial Examples.

Ian J. Goodfellow, Jonathon Shlens, Christian Szegedy

Proceedings of the 3rd International Conference on Learning Representations, 2015

Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift.

Sergey Ioffe, Christian Szegedy

Proceedings of the 32nd International Conference on Machine Learning, 2015

Going deeper with convolutions.

Christian Szegedy, Wei Liu, Yangqing Jia, Pierre Sermanet, Scott E. Reed, Dragomir Anguelov, Dumitru Erhan, Vincent Vanhoucke, Andrew Rabinovich

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2015

2014

Intriguing properties of neural networks.

Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian J. Goodfellow, Rob Fergus

Proceedings of the 2nd International Conference on Learning Representations, 2014

Scalable, High-Quality Object Detection.

Christian Szegedy, Scott E. Reed, Dumitru Erhan, Dragomir Anguelov

CoRR, 2014

DeepPose: Human Pose Estimation via Deep Neural Networks.

Alexander Toshev, Christian Szegedy

Proceedings of the 2014 IEEE Conference on Computer Vision and Pattern Recognition, 2014

Scalable Object Detection Using Deep Neural Networks.

Dumitru Erhan, Christian Szegedy, Alexander Toshev, Dragomir Anguelov

Proceedings of the 2014 IEEE Conference on Computer Vision and Pattern Recognition, 2014

2013

Deep Neural Networks for Object Detection.

Christian Szegedy, Alexander Toshev, Dumitru Erhan

Proceedings of the Advances in Neural Information Processing Systems 26: 27th Annual Conference on Neural Information Processing Systems 2013. Proceedings of a meeting held December 5-8, 2013

2009

Modular code generation from synchronous block diagrams: modularity vs. code size.

Roberto Lublinerman, Christian Szegedy, Stavros Tripakis

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

2008

On the cost of optimal alphabetic code trees with unequal letter costs.

Dieter Rautenbach, Christian Szegedy, Jürgen Werber

Eur. J. Comb., 2008

A class of problems for which cyclic relaxation converges linearly.

Dieter Rautenbach, Christian Szegedy

Comput. Optim. Appl., 2008

2007

The delay of circuits whose inputs have specified arrival times.

Dieter Rautenbach, Christian Szegedy, Jürgen Werber

Discret. Appl. Math., 2007

A morphing approach to address placement stability.

Philip Chong, Christian Szegedy

Proceedings of the 2007 International Symposium on Physical Design, 2007

Timing optimization by restructuring long combinatorial paths.

Jürgen Werber, Dieter Rautenbach, Christian Szegedy

Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

2006

Delay optimization of linear depth boolean circuits with prescribed input arrival times.

Dieter Rautenbach, Christian Szegedy, Jürgen Werber

J. Discrete Algorithms, 2006

Symplectic Spaces And Ear-Decomposition Of Matroids.

Balázs Szegedy, Christian Szegedy

Comb., 2006

2002

On the Number of 3-Edge Colorings of Cubic Graphs.

Christian Szegedy

Eur. J. Comb., 2002