🧑‍🔬 Christian Szegedy — all works

46 works · ← Christian Szegedy

1. Going deeper with convolutions ↗IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings · no summary yetChristian Szegedy et al.2015 · 46,691 citations
2. Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift ↗arXiv:1502.03167 · no summary yetSergey Ioffe, Christian Szegedy2015 · 24,176 citations
3. Explaining and Harnessing Adversarial ExamplesarXiv:1412.6572Ian J. Goodfellow, Jonathon Shlens, Christian Szegedy2014 · 8,577 citations
4. Intriguing properties of neural networksarXiv:1312.6199Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, et al.2013 · 5,999 citations
5. DeepPose: Human Pose Estimation via Deep Neural Networks ↗IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings · no summary yetAlexander Toshev, Christian Szegedy2014 · 3,236 citations
6. Rethinking the Inception Architecture for Computer Vision ↗arXiv:1512.00567 · no summary yetChristian Szegedy et al.2015 · 1,516 citations
7. Deep Neural Networks for Object Detection ↗no summary yetChristian Szegedy, Alexander Toshev, Dumitru Erhan2013 · 1,161 citations
8. Scalable Object Detection Using Deep Neural Networks ↗IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings · no summary yetDumitru Erhan et al.2014 · 1,157 citations
9. Training Deep Neural Networks on Noisy Labels with Bootstrapping ↗arXiv (Cornell University) · no summary yetScott Reed et al.2014 · 731 citations
10. Scalable, High-Quality Object Detection ↗arXiv (Cornell University) · no summary yetChristian Szegedy et al.2014 · 314 citations
11. Autoformalization with Large Language ModelsarXiv:2205.12615Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al.2022 · 204 citations
12. DeepMath - Deep Sequence Models for Premise Selection ↗arXiv:1606.04442 · no summary yetAlex A. Alemi et al.2016 · 178 citations
13. Memorizing Transformers ↗arXiv:2203.08913 · no summary yetYuhuai Wu et al.2022 · 163 citations
14. Deep Network Guided Proof Search ↗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 yetSarah Loos et al.2017 · 139 citations
15. HOList: An Environment for Machine Learning of Higher-Order Theorem Proving ↗arXiv:1904.03241 · no summary yetKshitij Bansal et al.2019 · 78 citations
16. A Promising Path Towards Autoformalization and General Artificial Intelligence ↗CICM 2020, LNCS 12,236, 3–20 · no summary yetChristian Szegedy2020 · 66 citations
17. Hierarchical Transformers Are More Efficient Language Models ↗Findings of the Association for Computational Linguistics: NAACL 2022 · no summary yetPiotr Nawrot et al.2022 · 60 citations
18. Modular code generation from synchronous block diagrams ↗ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · no summary yetRoberto Lublinerman, Christian Szegedy, Stavros Tripakis2009 · 55 citations
19. Mathematical Reasoning via Self-supervised Skip-tree Training ↗arXiv:2006.04757 · no summary yetMarkus N. Rabe et al.2020 · 54 citations
20. HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving ↗arXiv:1703.00426 · no summary yetCezary Kaliszyk, François Chollet, Christian Szegedy2017 · 48 citations
21. Don't Trust: Verify — Grounding LLM Quantitative Reasoning with Autoformalization ↗arXiv:2403.18120 · no summary yetJin Peng Zhou et al.2024 · 45 citations
22. LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning ↗arXiv:2101.06223 · no summary yetYuhuai Wu et al.2021 · 39 citations
23. Learning to Reason in Large Theories without Imitation ↗arXiv:1905.10501 · no summary yetKshitij Bansal et al.2019 · 36 citations
24. Magnushammer: A Transformer-Based Approach to Premise Selection ↗arXiv:2303.04488 · no summary yetMaciej Mikuła et al.2023 · 35 citations
25. Mathematical Reasoning in Latent Space ↗arXiv:1909.11851 · no summary yetDennis Lee et al.2019 · 33 citations
26. Graph Representations for Higher-Order Logic and Theorem Proving ↗arXiv:1905.10006 · no summary yetAditya Paliwal et al.2019 · 33 citations
27. Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems ↗arXiv (Cornell University) · no summary yetDavid Dalrymple et al.2024 · 24 citations
28. Timing optimization by restructuring long combinatorial paths ↗International Conference on Computer Aided Design · no summary yetJürgen Werber, Dieter Rautenbach, Christian Szegedy2007 · 18 citations
29. Text Embeddings for Retrieval from a Large Knowledge Base ↗Lecture notes in business information processing · no summary yetTolgahan Çakaloğlu, Christian Szegedy, Xiaowei Xu2018 · 14 citations
30. Symplectic Spaces And Ear-Decomposition Of Matroids ↗COMBINATORICA · no summary yetBalázs Szegedy, Christian Szegedy2006 · 14 citations
31. Towards the Automatic Mathematician ↗Lecture notes in computer science · no summary yetMarkus N. Rabe, Christian Szegedy2021 · 8 citations
32. A Definition of AGI ↗arXiv (Cornell University) · no summary yetDan Hendrycks et al.2025 · 6 citations
33. Large Scale Business Discovery from Street Level Imagery ↗arXiv (Cornell University) · no summary yetQian Yu et al.2015 · 6 citations
34. A class of problems for which cyclic relaxation converges linearly ↗Computational Optimization and Applications · no summary yetDieter Rautenbach, Christian Szegedy2007 · 5 citations
35. The delay of circuits whose inputs have specified arrival times ↗Discrete Applied Mathematics · no summary yetDieter Rautenbach, Christian Szegedy, Jürgen Werber2006 · 5 citations
36. A morphing approach to address placement stability ↗International Symposium on Physical Design · no summary yetPhilip Chong, Christian Szegedy2007 · 2 citations
37. Deep Autoresolution Networks ↗no summary yetGabriel Pereyra, Christian Szegedy2016
38. The Delay of Circuits whose Inputs have Speci ed Arrival Times ↗no summary yetDieter Rautenbach, Christian Szegedy2015
39. Under review as a conference paper at ICLR 2015 TRAINING DEEP NEURAL NETWORKS ON NOISY LABELS WITH BOOTSTRAPPING ↗no summary yetScott E. Reed et al.2015
40. GOOGLENET: GOINGDEEPERWITH CONVOLUTIONS ↗no summary yetChristian Szegedy et al.2015
41. Modular Code Generation from Synchronous Block Diagrams: Modularity vs. Code Size ↗no summary yetRoberto Lublinerman, Christian Szegedy, Stavros Tripakis2009
42. Modular Code Generation from Synchronous Block Diagrams — Modularity vs ↗no summary yetRoberto Lublinerman, Christian Szegedy, Stavros Tripakis2009
43. www.elsevier.com/locate/dam The delay of circuits whose inputs have specified arrival times ↗no summary yetDieter Rautenbach, Christian Szegedy, Jürgen Werber2007
44. Some Applications of the Weighted Combinatorial Laplacian ↗bonndoc (University of Bonn) · no summary yetChristian Szegedy2005
45. A Linear Representation of the Ear Matroid ↗no summary yetChristian Szegedy1999
46. Symplectic Spaces and Ear-Decompositions of Matroids ↗no summary yetBalázs Szegedy, Christian Szegedy1999

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/christian-szegedy/works/