Christian Szegedy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
11
Active years
2007–2024
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICLR | Magnushammer: A Transformer-Based Approach to Premise Selection. | Maciej Mikula, Szymon Tworkowski, Szymon Antoniak, Bartosz Piotrowski, Albert Q. Jiang, Jin Peng Zhou, Christian Szegedy, Lukasz Kucinski, Piotr Milos, Yuhuai Wu |
| 2024 | ICLR | Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization. | Jin Peng Zhou, Charles Staats, Wenda Li, Christian Szegedy, Kilian Q. Weinberger, Yuhuai Wu |
| 2022 | ICLR | Memorizing Transformers. | Yuhuai Wu, Markus Norman Rabe, DeLesley Hutchins, Christian Szegedy |
| 2022 | NAACL | Hierarchical Transformers Are More Efficient Language Models. | Piotr Nawrot, Szymon Tworkowski, Michal Tyrolski, Lukasz Kaiser, Yuhuai Wu, Christian Szegedy, Henryk Michalewski |
| 2021 | CADE | Towards the Automatic Mathematician. | Markus N. Rabe, Christian Szegedy |
| 2021 | ICLR | Mathematical Reasoning via Self-supervised Skip-tree Training. | Markus Norman Rabe, Dennis Lee, Kshitij Bansal, Christian Szegedy |
| 2021 | ICML | LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning. | Yuhuai Wu, Markus N. Rabe, Wenda Li, Jimmy Ba, Roger B. Grosse, Christian Szegedy |
| 2020 | AAAI | Graph Representations for Higher-Order Logic and Theorem Proving. | Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy |
| 2020 | ICLR | Mathematical Reasoning in Latent Space. | Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal |
| 2020 | RCIS | Text Embeddings for Retrieval from a Large Knowledge Base. | Tolgahan Cakaloglu, Christian Szegedy, Xiaowei Xu |
| 2019 | ICML | HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving. | Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox |
| 2017 | AAAI | Inception-v4, Inception-ResNet and the Impact of Residual Connections on Learning. | Christian Szegedy, Sergey Ioffe, Vincent Vanhoucke, Alexander A. Alemi |
| 2017 | ICLR | HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving. | Cezary Kaliszyk, Franois Chollet, Christian Szegedy |
| 2017 | LPAR | Deep Network Guided Proof Search. | Sarah M. Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk |
| 2016 | CVPR | Rethinking the Inception Architecture for Computer Vision. | Christian Szegedy, Vincent Vanhoucke, Sergey Ioffe, Jonathon Shlens, Zbigniew Wojna |
| 2016 | ECCV | SSD: Single Shot MultiBox Detector. | Wei Liu, Dragomir Anguelov, Dumitru Erhan, Christian Szegedy, Scott E. Reed, Cheng-Yang Fu, Alexander C. Berg |
| 2015 | CVPR | Going deeper with convolutions. | Christian Szegedy, Wei Liu, Yangqing Jia, Pierre Sermanet, Scott E. Reed, Dragomir Anguelov, Dumitru Erhan, Vincent Vanhoucke, Andrew Rabinovich |
| 2015 | ICML | Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift. | Sergey Ioffe, Christian Szegedy |
| 2014 | CVPR | Scalable Object Detection Using Deep Neural Networks. | Dumitru Erhan, Christian Szegedy, Alexander Toshev, Dragomir Anguelov |
| 2014 | CVPR | DeepPose: Human Pose Estimation via Deep Neural Networks. | Alexander Toshev, Christian Szegedy |
| 2009 | POPL | Modular code generation from synchronous block diagrams: modularity vs. code size. | Roberto Lublinerman, Christian Szegedy, Stavros Tripakis |
| 2007 | ICCAD | Timing optimization by restructuring long combinatorial paths. | Jrgen Werber, Dieter Rautenbach, Christian Szegedy |