CS
Christian Szegedy
cs.LGcs.AIcs.CVcs.LOstat.MLcs.CLcs.IRcs.NEcs.PLcs.SE
On Valency
published · living versionsW_6um5xyqj·v1 · currentpublished
Preprints & journals
27 papers in the corpus · 2013–2025A Definition of AGI2510.18212v3 · Dan Hendrycks, Dawn Song, Christian Szegedy et al.2025 · 3 citationsarXiv
Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems2405.06624v3 · David "davidad" Dalrymple, Joar Skalse, Yoshua Bengio et al.2024 · 12 citationsarXiv
Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization2403.18120v1 · Jin Peng Zhou, Charles Staats, Wenda Li et al.2024 · 3 citationsarXiv
Magnushammer: A Transformer-Based Approach to Premise Selection2303.04488v3 · Maciej Miku\la, Szymon Tworkowski, Szymon Antoniak et al.2023 · 8 citationsarXiv
Autoformalization with Large Language Models2205.12615v1 · Yuhuai Wu, Albert Q. Jiang, Wenda Li et al.2022 · 64 citationsarXiv
Hierarchical Transformers Are More Efficient Language Models2110.13711v2 · Piotr Nawrot, Szymon Tworkowski, Micha\l Tyrolski et al.2021 · 33 citationsarXiv
Memorizing Transformers2203.08913v1 · Yuhuai Wu, Markus N. Rabe, DeLesley Hutchins et al.2022 · 40 citationsarXiv
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning2101.06223v2 · Yuhuai Wu, Markus Rabe, Wenda Li et al.2021 · 9 citationsarXiv
Mathematical Reasoning via Self-supervised Skip-tree Training2006.04757v3 · Markus N. Rabe, Dennis Lee, Kshitij Bansal et al.2020 · 25 citationsarXiv
Learning to Reason in Large Theories without Imitation1905.10501v3 · Kshitij Bansal, Christian Szegedy, Markus N. Rabe et al.2019 · 15 citationsarXiv
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving1904.03241v3 · Kshitij Bansal, Sarah M. Loos, Markus N. Rabe et al.2019 · 19 citationsarXiv
Mathematical Reasoning in Latent Space1909.11851v1 · Dennis Lee, Christian Szegedy, Markus N. Rabe et al.2019 · 26 citationsarXiv
Graph Representations for Higher-Order Logic and Theorem Proving1905.10006v2 · Aditya Paliwal, Sarah Loos, Markus Rabe et al.2019 · 78 citationsarXiv
Text Embeddings for Retrieval From a Large Knowledge Base1810.10176v2 · Tolgahan Cakaloglu, Christian Szegedy, Xiaowei Xu2018 · 10 citationsarXiv
Deep Network Guided Proof Search1701.06972v1 · Sarah Loos, Geoffrey Irving, Christian Szegedy et al.2017 · 94 citationsIn 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
HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving1703.00426v1 · Cezary Kaliszyk, Francois Chollet, Christian Szegedy2017 · 41 citationsarXiv
DeepMath - Deep Sequence Models for Premise Selection1606.04442v2 · Alex A. Alemi, Francois Chollet, Niklas Een et al.2016 · 136 citationsarXiv
SSD: Single Shot MultiBox Detector1512.02325v5 · Wei Liu, Dragomir Anguelov, Dumitru Erhan et al.2015 · 35,686 citationsarXiv
DeepPose: Human Pose Estimation via Deep Neural Networks1312.4659v3 · Alexander Toshev, Christian Szegedy2013 · 3,357 citationsarXivon Valency
Inception-v4, Inception-ResNet and the Impact of Residual Connections on Learning1602.07261v2 · Christian Szegedy, Sergey Ioffe, Vincent Vanhoucke et al.2016 · 14,763 citationsarXiv
Large Scale Business Discovery from Street Level Imagery1512.05430v2 · Qian Yu, Christian Szegedy, Martin C. Stumpe et al.2015 · 8 citationsarXiv
Rethinking the Inception Architecture for Computer Vision1512.00567v3 · Christian Szegedy, Vincent Vanhoucke, Sergey Ioffe et al.2015 · 32,160 citationsarXiv
Scalable, High-Quality Object Detection1412.1441v3 · Christian Szegedy, Scott Reed, Dumitru Erhan et al.2014 · 334 citationsarXiv
Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift1502.03167v3 · Sergey Ioffe, Christian Szegedy2015 · 24,306 citationsarXiv
Going Deeper with Convolutions1409.4842v1 · Christian Szegedy, Wei Liu, Yangqing Jia et al.2014 · 1,374 citationsarXivon Valency
Intriguing properties of neural networks1312.6199v4 · Christian Szegedy, Wojciech Zaremba, Ilya Sutskever et al.2013 · 5,711 citationsarXivon Valency
Scalable Object Detection using Deep Neural Networks1312.2249v1 · Dumitru Erhan, Christian Szegedy, Alexander Toshev et al.2013 · 1,194 citationsarXiv
Career total: 57 works. 27 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.