---
title: "Christian Szegedy — all works — Elamur Research"
description: "All 46 works of Christian Szegedy in the Elamur Research library, the most cited first: our summaries where we have them, else the original."
canonical: "https://research.elamur.ai/free/en/authors/christian-szegedy/works/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/christian-szegedy/works/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Christian Szegedy](https://md.research.elamur.ai/free/en/authors/christian-szegedy/) / all works

# Christian Szegedy — all works

46 works · [← Christian Szegedy](https://md.research.elamur.ai/free/en/authors/christian-szegedy/)

1. **[Going deeper with convolutions ↗](https://doi.org/10.1109/cvpr.2015.7298594) IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings · no summary yet**Christian Szegedy et al.*2015 · 46,691 citations*
2. **[Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift ↗](https://arxiv.org/abs/1502.03167) arXiv:1502.03167 · no summary yet**Sergey Ioffe, Christian Szegedy*2015 · 24,176 citations*
3. [**Explaining and Harnessing Adversarial Examples arXiv:1412.6572**Ian J. Goodfellow, Jonathon Shlens, Christian Szegedy*2014 · 8,577 citations*](https://md.research.elamur.ai/free/en/papers/goodfellow-2014-explaining-harnessing-adversarial-examples/)
4. [**Intriguing properties of neural networks arXiv:1312.6199**Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, et al.*2013 · 5,999 citations*](https://md.research.elamur.ai/free/en/papers/szegedy-2013-intriguing-properties-neural-networks/)
5. **[DeepPose: Human Pose Estimation via Deep Neural Networks ↗](https://doi.org/10.1109/cvpr.2014.214) IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings · no summary yet**Alexander Toshev, Christian Szegedy*2014 · 3,236 citations*
6. **[Rethinking the Inception Architecture for Computer Vision ↗](https://arxiv.org/abs/1512.00567) arXiv:1512.00567 · no summary yet**Christian Szegedy et al.*2015 · 1,516 citations*
7. **[Deep Neural Networks for Object Detection ↗](https://openalex.org/W2130306094) no summary yet**Christian Szegedy, Alexander Toshev, Dumitru Erhan*2013 · 1,161 citations*
8. **[Scalable Object Detection Using Deep Neural Networks ↗](https://doi.org/10.1109/cvpr.2014.276) IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings · no summary yet**Dumitru Erhan et al.*2014 · 1,157 citations*
9. **[Training Deep Neural Networks on Noisy Labels with Bootstrapping ↗](https://arxiv.org/abs/1412.6596) arXiv (Cornell University) · no summary yet**Scott Reed et al.*2014 · 731 citations*
10. **[Scalable, High-Quality Object Detection ↗](https://arxiv.org/abs/1412.1441) arXiv (Cornell University) · no summary yet**Christian Szegedy et al.*2014 · 314 citations*
11. [**Autoformalization with Large Language Models arXiv:2205.12615**Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al.*2022 · 204 citations*](https://md.research.elamur.ai/free/en/papers/wu-2022-autoformalization-large-language-models/)
12. **[DeepMath - Deep Sequence Models for Premise Selection ↗](https://arxiv.org/abs/1606.04442) arXiv:1606.04442 · no summary yet**Alex A. Alemi et al.*2016 · 178 citations*
13. **[Memorizing Transformers ↗](https://arxiv.org/abs/2203.08913) arXiv:2203.08913 · no summary yet**Yuhuai Wu et al.*2022 · 163 citations*
14. **[Deep Network Guided Proof Search ↗](https://arxiv.org/abs/1701.06972) arXiv:1701.06972 (In Thomas Eiter and David Sands, editors, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-21). EPiC Series in Computing, vol. 46, pages 85-105, EasyChair, 2017. ISSN 2398-7340) · no summary yet**Sarah Loos et al.*2017 · 139 citations*
15. **[HOList: An Environment for Machine Learning of Higher-Order Theorem Proving ↗](https://arxiv.org/abs/1904.03241) arXiv:1904.03241 · no summary yet**Kshitij Bansal et al.*2019 · 78 citations*
16. **[A Promising Path Towards Autoformalization and General Artificial Intelligence ↗](https://doi.org/10.1007/978-3-030-53518-6_1) CICM 2020, LNCS 12,236, 3–20 · no summary yet**Christian Szegedy*2020 · 66 citations*
17. **[Hierarchical Transformers Are More Efficient Language Models ↗](https://aclanthology.org/2022.findings-naacl.117/) Findings of the Association for Computational Linguistics: NAACL 2022 · no summary yet**Piotr Nawrot et al.*2022 · 60 citations*
18. **[Modular code generation from synchronous block diagrams ↗](https://doi.org/10.1145/1480881.1480893) ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · no summary yet**Roberto Lublinerman, Christian Szegedy, Stavros Tripakis*2009 · 55 citations*
19. **[Mathematical Reasoning via Self-supervised Skip-tree Training ↗](https://arxiv.org/abs/2006.04757) arXiv:2006.04757 · no summary yet**Markus N. Rabe et al.*2020 · 54 citations*
20. **[HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving ↗](https://arxiv.org/abs/1703.00426) arXiv:1703.00426 · no summary yet**Cezary Kaliszyk, François Chollet, Christian Szegedy*2017 · 48 citations*
21. **[Don't Trust: Verify — Grounding LLM Quantitative Reasoning with Autoformalization ↗](https://arxiv.org/abs/2403.18120) arXiv:2403.18120 · no summary yet**Jin Peng Zhou et al.*2024 · 45 citations*
22. **[LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning ↗](https://arxiv.org/abs/2101.06223) arXiv:2101.06223 · no summary yet**Yuhuai Wu et al.*2021 · 39 citations*
23. **[Learning to Reason in Large Theories without Imitation ↗](https://arxiv.org/abs/1905.10501) arXiv:1905.10501 · no summary yet**Kshitij Bansal et al.*2019 · 36 citations*
24. **[Magnushammer: A Transformer-Based Approach to Premise Selection ↗](https://arxiv.org/abs/2303.04488) arXiv:2303.04488 · no summary yet**Maciej Mikuła et al.*2023 · 35 citations*
25. **[Mathematical Reasoning in Latent Space ↗](https://arxiv.org/abs/1909.11851) arXiv:1909.11851 · no summary yet**Dennis Lee et al.*2019 · 33 citations*
26. **[Graph Representations for Higher-Order Logic and Theorem Proving ↗](https://arxiv.org/abs/1905.10006) arXiv:1905.10006 · no summary yet**Aditya Paliwal et al.*2019 · 33 citations*
27. **[Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems ↗](https://arxiv.org/abs/2405.06624) arXiv (Cornell University) · no summary yet**David Dalrymple et al.*2024 · 24 citations*
28. **[Timing optimization by restructuring long combinatorial paths ↗](https://doi.org/10.5555/1326073.1326184) International Conference on Computer Aided Design · no summary yet**Jürgen Werber, Dieter Rautenbach, Christian Szegedy*2007 · 18 citations*
29. **[Text Embeddings for Retrieval from a Large Knowledge Base ↗](https://doi.org/10.1007/978-3-030-50316-1_20) Lecture notes in business information processing · no summary yet**Tolgahan Çakaloğlu, Christian Szegedy, Xiaowei Xu*2018 · 14 citations*
30. **[Symplectic Spaces And Ear-Decomposition Of Matroids ↗](https://doi.org/10.1007/s00493-006-0020-3) COMBINATORICA · no summary yet**Balázs Szegedy, Christian Szegedy*2006 · 14 citations*
31. **[Towards the Automatic Mathematician ↗](https://doi.org/10.1007/978-3-030-79876-5_2) Lecture notes in computer science · no summary yet**Markus N. Rabe, Christian Szegedy*2021 · 8 citations*
32. **[A Definition of AGI ↗](https://arxiv.org/abs/2510.18212) arXiv (Cornell University) · no summary yet**Dan Hendrycks et al.*2025 · 6 citations*
33. **[Large Scale Business Discovery from Street Level Imagery ↗](https://arxiv.org/abs/1512.05430) arXiv (Cornell University) · no summary yet**Qian Yu et al.*2015 · 6 citations*
34. **[A class of problems for which cyclic relaxation converges linearly ↗](https://doi.org/10.1007/s10589-007-9094-0) Computational Optimization and Applications · no summary yet**Dieter Rautenbach, Christian Szegedy*2007 · 5 citations*
35. **[The delay of circuits whose inputs have specified arrival times ↗](https://doi.org/10.1016/j.dam.2006.10.013) Discrete Applied Mathematics · no summary yet**Dieter Rautenbach, Christian Szegedy, Jürgen Werber*2006 · 5 citations*
36. **[A morphing approach to address placement stability ↗](https://doi.org/10.1145/1231996.1232018) International Symposium on Physical Design · no summary yet**Philip Chong, Christian Szegedy*2007 · 2 citations*
37. **[Deep Autoresolution Networks ↗](https://openalex.org/W2904437280) no summary yet**Gabriel Pereyra, Christian Szegedy*2016*
38. **[The Delay of Circuits whose Inputs have Speci ed Arrival Times ↗](https://openalex.org/W7097066113) no summary yet**Dieter Rautenbach, Christian Szegedy*2015*
39. **[Under review as a conference paper at ICLR 2015 TRAINING DEEP NEURAL NETWORKS ON NOISY LABELS WITH BOOTSTRAPPING ↗](https://openalex.org/W7099146532) no summary yet**Scott E. Reed et al.*2015*
40. **[GOOGLENET: GOINGDEEPERWITH CONVOLUTIONS ↗](https://openalex.org/W7096391891) no summary yet**Christian Szegedy et al.*2015*
41. **[Modular Code Generation from Synchronous Block Diagrams: Modularity vs. Code Size ↗](https://openalex.org/W7096766279) no summary yet**Roberto Lublinerman, Christian Szegedy, Stavros Tripakis*2009*
42. **[Modular Code Generation from Synchronous Block Diagrams — Modularity vs ↗](https://openalex.org/W7096959033) no summary yet**Roberto Lublinerman, Christian Szegedy, Stavros Tripakis*2009*
43. **[www.elsevier.com/locate/dam The delay of circuits whose inputs have specified arrival times ↗](https://openalex.org/W7095309468) no summary yet**Dieter Rautenbach, Christian Szegedy, Jürgen Werber*2007*
44. **[Some Applications of the Weighted Combinatorial Laplacian ↗](https://openalex.org/W7033943026) bonndoc (University of Bonn) · no summary yet**Christian Szegedy*2005*
45. **[A Linear Representation of the Ear Matroid ↗](https://openalex.org/W7100209221) no summary yet**Christian Szegedy*1999*
46. **[Symplectic Spaces and Ear-Decompositions of Matroids ↗](https://openalex.org/W7095946213) no summary yet**Balázs Szegedy, Christian Szegedy*1999*