Christian Szegedy

1. Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift
   2015/02/11 by Sergey Ioffe, Ioffe, Sergey, Christian Szegedy +1 · 3 voices · 828 citations
   Computer Science · #Domain Adaptation and Few-Shot Learning #Machine Learning and ELM #Neural Networks and Applications #cs.LG
2. Intriguing properties of neural networks
   2013/12/21 by Christian Szegedy, Szegedy, Christian, Wojciech Zaremba +11 · 3 voices · 356 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Neural Networks and Applications #cs.CV #cs.LG #cs.NE
3. Explaining and Harnessing Adversarial Examples
   2014/12/20 by Ian J. Goodfellow, Jonathon Shlens, Goodfellow, Ian J. +3 · 7 voices · 478 citations
   Computer Science · Mathematics · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #cs.LG #stat.ML
4. A Definition of AGI
   2025/10/21 by Dan Hendrycks, Hendrycks, Dan, Dawn Song +65 · 28 voices · 10 citations
   Psychology · Computer Science · #Cognitive Abilities and Testing #Computability, Logic, AI Algorithms #Cognitive Computing and Networks
5. Going Deeper with Convolutions
   2014/09/17 by Christian Szegedy, Szegedy, Christian, Wei Liu +15 · 2 voices · 202 citations
   #cs.CV
6. Memorizing Transformers
   2022/03/16 by Yuhuai Wu, Wu, Yuhuai, Markus N. Rabe +5 · 2 voices · 21 citations
   Computer Science · #Machine Learning and Data Classification #Natural Language Processing Techniques #Topic Modeling #cs.AI #cs.CL #cs.LG
7. Rethinking the Inception Architecture for Computer Vision
   2015/12/02 by Christian Szegedy, Szegedy, Christian, Vincent Vanhoucke +7 · 356 citations
   Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications
8. Hierarchical Transformers Are More Efficient Language Models
   2021/10/26 by Piotr Nawrot, Nawrot, Piotr, Szymon Tworkowski +11 · 4 voices · 19 citations
   Computer Science · #Topic Modeling #Multimodal Machine Learning Applications #Natural Language Processing Techniques
9. DeepMath - Deep Sequence Models for Premise Selection
   2016/06/14 by Alex A. Alemi, Alex Alemi, Alemi, Alex A. +12 · 1 voice · 19 citations
   Computer Science · #Topic Modeling #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques
10. Graph Representations for Higher-Order Logic and Theorem Proving
    2019/05/24 by Aditya Paliwal, Sarah Loos, Paliwal, Aditya +7 · 1 voice · 3 citations
    #cs.LG #cs.AI #cs.LO #stat.ML
11. HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
    2019/04/05 by Kshitij Bansal, Bansal, Kshitij, Sarah M. Loos +7 · 3 voices
    Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Mathematics, Computing, and Information Processing
12. Autoformalization with Large Language Models
    2022/05/25 by Yuhuai Wu, Wu, Yuhuai, Albert Q. Jiang +11 · 34 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning (cs.LG) #Mathematics, Computing, and Information Processing #Software Engineering (cs.SE) #Software Engineering Research
13. Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems
    2024/05/10 by David "davidad" Dalrymple, Dalrymple, David "davidad", Joar Skalse +31 · 3 voices · 10 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #cs.AI
14. Magnushammer: A Transformer-Based Approach to Premise Selection
    2023/03/08 by Maciej Mikuła, Mikuła, Maciej, Szymon Tworkowski +16 · 5 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Neural Networks and Applications
15. LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning
    2021/01/15 by Yuhuai Wu, Markus N. Rabe, Wu, Yuhuai +9 · 3 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Neural Networks and Applications #Topic Modeling
16. HolStep: A Machine Learning Dataset for Higher-order Logic Theorem\n Proving
    2017/03/01 by Cezary Kaliszyk, François Chollet, Kaliszyk, Cezary +3 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies
17. Deep Network Guided Proof Search
    2017/01/24 by Sarah Loos, Geoffrey Irving, Christian Szegedy +1 · 1 voice
    Computer Science · #cs.AI #cs.LG #cs.LO