Christian Szegedy
17 papers · 2013–2024 · 6 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+10 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (37) π Conference Polyglot Β· Silver π Academic Marathon Β· Half π Interdisciplinary Bridge Β· Silver π£ Hot Topic Early Bird
π±
Topic Pioneer
π
Grand Slam
π
Keyword Champion
π§
Keyword Pioneer
π§¬
Topic Evolution
π
Keyword Trendsetter Combo
(3)
π
Century Club Β· Bronze
ποΈ
Keyword Collector
(73)
π
Trend Setter
π
Renaissance Researcher
(5)
Top co-authors
Research topics
Deep Learning
(11)
Architectures
(10)
Artificial Intelligence
(9)
Core AI
(9)
Machine Learning
(6)
Computer Vision
(4)
Analysis
(4)
Core Methods
(3)
Learning Types Β· Deep Learning
(3)
Optimization & Theory
(3)
Knowledge & Reasoning
(2)
Natural Language Processing
(2)
Applications
(2)
Learning Paradigms
(2)
Learning Types Β· Machine Learning
(2)
Keywords
deep neural network
(5)
mathematical reasoning
(4)
object detection
(3)
theorem proving
(3)
automated theorem proving
(3)
image classification
(3)
convolutional neural network
(3)
deep learning
(3)
formal verification
(3)
language modeling
(3)
inception architecture
(2)
graph neural network
(2)
neural network
(2)
computer vision
(2)
premise selection
(2)
higher-order logic
(2)
automated reasoning
(2)
large language model
(2)
logical reasoning
(1)
contrastive learning
(1)
Papers
Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
ICLR 2024
Magnushammer: A Transformer-Based Approach to Premise Selection
ICLR 2024
Autoformalization with Large Language Models
NeurIPS 2022
Hierarchical Transformers Are More Efficient Language Models
NAACL 2022
Memorizing Transformers
ICLR 2022
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning
ICML 2021
Mathematical Reasoning via Self-supervised Skip-tree Training
ICLR 2021
Graph Representations for Higher-Order Logic and Theorem Proving
AAAI 2020
Mathematical Reasoning in Latent Space
ICLR 2020
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving
ICML 2019
DeepMath - Deep Sequence Models for Premise Selection
NeurIPS 2016
Rethinking the Inception Architecture for Computer Vision
CVPR 2016
Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift
ICML 2015
Going Deeper With Convolutions
CVPR 2015
DeepPose: Human Pose Estimation via Deep Neural Networks
CVPR 2014
Scalable Object Detection using Deep Neural Networks
CVPR 2014
Deep Neural Networks for Object Detection
NeurIPS 2013