Christian Szegedy
0000-0003-4295-1851
Publication & Citation Trends
Publications
0 total
Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization
Cited by 72
Semantic Scholar
Magnushammer: A Transformer-based Approach to Premise Selection OA
Cited by 62
Semantic Scholar
Memorizing Transformers OA
Cited by 229
Semantic Scholar
Autoformalization for Neural Theorem Proving
Cited by 1
Semantic Scholar
Formal Premise Selection With Language Models
Cited by 11
Semantic Scholar
Autoformalization with Large Language Models OA
Cited by 265
Semantic Scholar
Hierarchical Transformers Are More Efficient Language Models OA
Cited by 107
Semantic Scholar
Towards the Automatic Mathematician OA
Cited by 12
Semantic Scholar
Mathematical Reasoning via Self-supervised Skip-tree Training
Cited by 65
Semantic Scholar
Research Topics
Topic Modeling
(16)
Natural Language Processing Techniques
(16)
Advanced Neural Network Applications
(10)
Logic, programming, and type systems
(9)
Advanced Image and Video Retrieval Techniques
(7)
Affiliations
Google (United States)
University of Bonn
Lawrence Berkeley National Laboratory
Guangzhou University
Gesellschaft Fur Mathematik Und Datenverarbeitung