Christian Szegedy

62 papers A* 16A 2B 2C 1Journal 32Unranked 9

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Definition of AGI. CoRR Dan Hendrycks, Dawn Song, Christian Szegedy, Honglak Lee, Yarin Gal, Erik Brynjolfsson, Sharon Li, Andy Zou, Lionel Levine, Bo Han, Jie Fu, Ziwei Liu, Jinwoo Shin, Kimin Lee, Mantas Mazeika, Long Phan, George Ingebretsen, Adam Khoja, Cihang Xie, Olawale Salaudeen, Matthias Hein, Kevin Zhao, Alexander Pan, David Duvenaud, Bo Li, Steve Omohundro, Gabriel Alfour, Max Tegmark, Kevin McGrew, Gary Marcus, Jaan Tallinn, Eric Schmidt, Yoshua Bengio
2024	A*	`conf`	Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization. ICLR Jin Peng Zhou, Charles Staats, Wenda Li, Christian Szegedy, Kilian Q. Weinberger, Yuhuai Wu
2024	J	`jnl`	Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization. CoRR Jin Peng Zhou, Charles Staats, Wenda Li, Christian Szegedy, Kilian Q. Weinberger, Yuhuai Wu
2024	A*	`conf`	Magnushammer: A Transformer-Based Approach to Premise Selection. ICLR Maciej Mikula, Szymon Tworkowski, Szymon Antoniak, Bartosz Piotrowski, Albert Q. Jiang, Jin Peng Zhou, Christian Szegedy, Lukasz Kucinski, Piotr Milos, Yuhuai Wu
2024	J	`jnl`	Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems. CoRR David Dalrymple, Joar Skalse, Yoshua Bengio, Stuart Russell, Max Tegmark, Sanjit A. Seshia, Steve Omohundro, Christian Szegedy, Ben Goldhaber, Nora Ammann, Alessandro Abate, Joe Halpern, Clark W. Barrett, Ding Zhao, Tan Zhi-Xuan, Jeannette M. Wing, Joshua B. Tenenbaum
2023	J	`jnl`	Magnushammer: A Transformer-based Approach to Premise Selection. CoRR Maciej Mikula, Szymon Antoniak, Szymon Tworkowski, Albert Qiaochu Jiang, Jin Peng Zhou, Christian Szegedy, Lukasz Kucinski, Piotr Milos, Yuhuai Wu
2022	A*	`conf`	Autoformalization with Large Language Models. NeurIPS Yuhuai Wu, Albert Qiaochu Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy
2022	J	`jnl`	Autoformalization with Large Language Models. CoRR Yuhuai Wu, Albert Q. Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy
2022	—	`conf`	Hierarchical Transformers Are More Efficient Language Models. NAACL-HLT (Findings) Piotr Nawrot, Szymon Tworkowski, Michal Tyrolski, Lukasz Kaiser, Yuhuai Wu, Christian Szegedy, Henryk Michalewski
2022	A*	`conf`	Memorizing Transformers. ICLR Yuhuai Wu, Markus Norman Rabe, DeLesley Hutchins, Christian Szegedy
2022	J	`jnl`	Memorizing Transformers. CoRR Yuhuai Wu, Markus N. Rabe, DeLesley Hutchins, Christian Szegedy
2021	J	`jnl`	Hierarchical Transformers Are More Efficient Language Models. CoRR Piotr Nawrot, Szymon Tworkowski, Michal Tyrolski, Lukasz Kaiser, Yuhuai Wu, Christian Szegedy, Henryk Michalewski
2021	A*	`conf`	LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning. ICML Yuhuai Wu, Markus N. Rabe, Wenda Li, Jimmy Ba, Roger B. Grosse, Christian Szegedy
2021	J	`jnl`	LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning. CoRR Yuhuai Wu, Markus N. Rabe, Wenda Li, Jimmy Ba, Roger B. Grosse, Christian Szegedy
2021	A*	`conf`	Mathematical Reasoning via Self-supervised Skip-tree Training. ICLR Markus Norman Rabe, Dennis Lee, Kshitij Bansal, Christian Szegedy
2021	A	`conf`	Towards the Automatic Mathematician. CADE Markus N. Rabe, Christian Szegedy
2020	C	`conf`	A Promising Path Towards Autoformalization and General Artificial Intelligence. CICM Christian Szegedy
2020	A*	`conf`	Graph Representations for Higher-Order Logic and Theorem Proving. AAAI Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy
2020	J	`jnl`	Language Modeling for Formal Mathematics. CoRR Markus N. Rabe, Dennis Lee, Kshitij Bansal, Christian Szegedy
2020	A*	`conf`	Mathematical Reasoning in Latent Space. ICLR Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal
2020	B	`conf`	Text Embeddings for Retrieval from a Large Knowledge Base. RCIS Tolgahan Cakaloglu, Christian Szegedy, Xiaowei Xu
2019	J	`jnl`	Graph Representations for Higher-Order Logic and Theorem Proving. CoRR Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy
2019	A*	`conf`	HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving. ICML Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox
2019	J	`jnl`	HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version). CoRR Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox
2019	J	`jnl`	Learning to Reason in Large Theories without Imitation. CoRR Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy
2019	J	`jnl`	Mathematical Reasoning in Latent Space. CoRR Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal
2018	J	`jnl`	Text Embeddings for Retrieval From a Large Knowledge Base. CoRR Tolgahan Cakaloglu, Christian Szegedy, Xiaowei Xu
2017	B	`conf`	Deep Network Guided Proof Search. LPAR Sarah M. Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk
2017	J	`jnl`	Deep Network Guided Proof Search. CoRR Sarah M. Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk
2017	—	`conf`	HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving. ICLR (Poster) Cezary Kaliszyk, François Chollet, Christian Szegedy
2017	J	`jnl`	HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving. CoRR Cezary Kaliszyk, François Chollet, Christian Szegedy
2017	A*	`conf`	Inception-v4, Inception-ResNet and the Impact of Residual Connections on Learning. AAAI Christian Szegedy, Sergey Ioffe, Vincent Vanhoucke, Alexander A. Alemi
2016	—	`conf`	DeepMath - Deep Sequence Models for Premise Selection. NIPS Geoffrey Irving, Christian Szegedy, Alexander A. Alemi, Niklas Eén, François Chollet, Josef Urban
2016	J	`jnl`	DeepMath - Deep Sequence Models for Premise Selection. CoRR Alexander A. Alemi, François Chollet, Geoffrey Irving, Christian Szegedy, Josef Urban
2016	J	`jnl`	Inception-v4, Inception-ResNet and the Impact of Residual Connections on Learning. CoRR Christian Szegedy, Sergey Ioffe, Vincent Vanhoucke
2016	A*	`conf`	Rethinking the Inception Architecture for Computer Vision. CVPR Christian Szegedy, Vincent Vanhoucke, Sergey Ioffe, Jonathon Shlens, Zbigniew Wojna
2016	—	`conf`	SSD: Single Shot MultiBox Detector. ECCV (1) Wei Liu, Dragomir Anguelov, Dumitru Erhan, Christian Szegedy, Scott E. Reed, Cheng-Yang Fu, Alexander C. Berg
2015	A*	`conf`	Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift. ICML Sergey Ioffe, Christian Szegedy
2015	J	`jnl`	Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift. CoRR Sergey Ioffe, Christian Szegedy
2015	—	`conf`	Explaining and Harnessing Adversarial Examples. ICLR (Poster) Ian J. Goodfellow, Jonathon Shlens, Christian Szegedy
2015	A*	`conf`	Going deeper with convolutions. CVPR Christian Szegedy, Wei Liu, Yangqing Jia, Pierre Sermanet, Scott E. Reed, Dragomir Anguelov, Dumitru Erhan, Vincent Vanhoucke, Andrew Rabinovich
2015	J	`jnl`	Large Scale Business Discovery from Street Level Imagery. CoRR Qian Yu, Christian Szegedy, Martin C. Stumpe, Liron Yatziv, Vinay D. Shet, Julian Ibarz, Sacha Arnoud
2015	J	`jnl`	Rethinking the Inception Architecture for Computer Vision. CoRR Christian Szegedy, Vincent Vanhoucke, Sergey Ioffe, Jonathon Shlens, Zbigniew Wojna
2015	J	`jnl`	SSD: Single Shot MultiBox Detector. CoRR Wei Liu, Dragomir Anguelov, Dumitru Erhan, Christian Szegedy, Scott E. Reed, Cheng-Yang Fu, Alexander C. Berg
2015	—	`conf`	Training Deep Neural Networks on Noisy Labels with Bootstrapping. ICLR (Workshop) Scott E. Reed, Honglak Lee, Dragomir Anguelov, Christian Szegedy, Dumitru Erhan, Andrew Rabinovich
2014	A*	`conf`	DeepPose: Human Pose Estimation via Deep Neural Networks. CVPR Alexander Toshev, Christian Szegedy
2014	J	`jnl`	Going Deeper with Convolutions. CoRR Christian Szegedy, Wei Liu, Yangqing Jia, Pierre Sermanet, Scott E. Reed, Dragomir Anguelov, Dumitru Erhan, Vincent Vanhoucke, Andrew Rabinovich
2014	—	`conf`	Intriguing properties of neural networks. ICLR (Poster) Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian J. Goodfellow, Rob Fergus
2014	A*	`conf`	Scalable Object Detection Using Deep Neural Networks. CVPR Dumitru Erhan, Christian Szegedy, Alexander Toshev, Dragomir Anguelov
2014	J	`jnl`	Scalable, High-Quality Object Detection. CoRR Christian Szegedy, Scott E. Reed, Dumitru Erhan, Dragomir Anguelov
2013	—	`conf`	Deep Neural Networks for Object Detection. NIPS Christian Szegedy, Alexander Toshev, Dumitru Erhan
2013	J	`jnl`	DeepPose: Human Pose Estimation via Deep Neural Networks. CoRR Alexander Toshev, Christian Szegedy
2013	J	`jnl`	Scalable Object Detection using Deep Neural Networks. CoRR Dumitru Erhan, Christian Szegedy, Alexander Toshev, Dragomir Anguelov
2009	A*	`conf`	Modular code generation from synchronous block diagrams: modularity vs. code size. POPL Roberto Lublinerman, Christian Szegedy, Stavros Tripakis
2008	J	`jnl`	A class of problems for which cyclic relaxation converges linearly. Comput. Optim. Appl. Dieter Rautenbach, Christian Szegedy
2008	J	`jnl`	On the cost of optimal alphabetic code trees with unequal letter costs. Eur. J. Comb. Dieter Rautenbach, Christian Szegedy, Jürgen Werber
2007	—	`conf`	A morphing approach to address placement stability. ISPD Philip Chong, Christian Szegedy
2007	J	`jnl`	The delay of circuits whose inputs have specified arrival times. Discret. Appl. Math. Dieter Rautenbach, Christian Szegedy, Jürgen Werber
2007	A	`conf`	Timing optimization by restructuring long combinatorial paths. ICCAD Jürgen Werber, Dieter Rautenbach, Christian Szegedy
2006	J	`jnl`	Delay optimization of linear depth boolean circuits with prescribed input arrival times. J. Discrete Algorithms Dieter Rautenbach, Christian Szegedy, Jürgen Werber
2006	J	`jnl`	Symplectic Spaces And Ear-Decomposition Of Matroids. Comb. Balázs Szegedy, Christian Szegedy
2002	J	`jnl`	On the Number of 3-Edge Colorings of Cubic Graphs. Eur. J. Comb. Christian Szegedy