Christian Szegedy

Computer Science · Physical Sciences

25h-index128.9kcitations58works1.52yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Topic Modeling(15), Natural Language Processing Techniques(15), Advanced Neural Network Applications(9), Logic, programming, and type systems(9), Advanced Image and Video Retrieval Techniques(7)

Publications58 total

A Definition of AGI
arXiv (Cornell University)·2025Open Access
Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
arXiv (Cornell University)·2024· 3 citedOpen Access
Magnushammer: A Transformer-Based Approach to Premise Selection
arXiv (Cornell University)·2023· 8 citedOpen Access
Formal Premise Selection With Language Models
Zenodo (CERN European Organization for Nuclear Research)·2022Open Access
Autoformalization with Large Language Models
arXiv (Cornell University)·2022· 41 citedOpen Access
Memorizing Transformers
arXiv (Cornell University)·2022· 39 citedOpen Access
Hierarchical Transformers Are More Efficient Language Models
Findings of the Association for Computational Linguistics: NAACL 2022·2022· 28 citedOpen Access
Can We Trust AI-Powered Real-Time Embedded Systems? (Invited Paper)
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2022· 220 citedOpen Access
Hierarchical Transformers Are More Efficient Language Models
arXiv (Cornell University)·2021Open Access
Mathematical Reasoning via Self-supervised Skip-tree Training
International Conference on Learning Representations·2021· 13 cited
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning
arXiv (Cornell University)·2021· 9 citedOpen Access
Towards the Automatic Mathematician
Lecture notes in computer science·2021· 8 citedOpen Access
Mathematical Reasoning via Self-supervised Skip-tree Training
arXiv (Cornell University)·2020· 13 citedOpen Access
Language Modeling for Formal Mathematics
arXiv (Cornell University)·2020· 3 citedOpen Access
Mathematical Reasoning in Latent Space
International Conference on Learning Representations·2020· 15 cited
Graph Representations for Higher-Order Logic and Theorem Proving
Proceedings of the AAAI Conference on Artificial Intelligence·2020· 12 citedOpen Access
A Promising Path Towards Autoformalization and General Artificial Intelligence
Lecture notes in computer science·2020· 21 cited
Text Embeddings for Retrieval from a Large Knowledge Base
Lecture notes in business information processing·2020· 4 cited
Mathematical Reasoning in Latent Space
arXiv (Cornell University)·2019· 13 citedOpen Access
Learning to Reason in Large Theories without Imitation
arXiv (Cornell University)·2019· 18 citedOpen Access
page 1 of 3Next →

Frequent Co-authors

Markus N. Rabe(13), Dumitru Erhan(9), Kshitij Bansal(9), Sarah M. Loos(8), Dragomir Anguelov(7), Vincent Vanhoucke(6), Scott Reed(5), Sergey Ioffe(5), Yuhuai Wu(5), Dieter Rautenbach(5), Andrew Rabinovich(4), Alexander Toshev(4), François Chollet(4), Dennis Lee(4), Geoffrey Irving(3), Stewart Wilcox(3), Cezary Kaliszyk(3), Jürgen Werber(3), Yangqing Jia(2), Pierre Sermanet(2)