Christian Szegedy
17 papers · 2013–2024 · 6 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+9 more ↓ Show less ↑
π Conference Polyglot (6) π£ Hot Topic Early Bird π§ Keyword Pioneer π Interdisciplinary Bridge π Academic Marathon (11)
π
Cross-Pollinator
(12)
π
Renaissance Researcher
(7)
πΊοΈ
Taxonomy Completionist
(29)
π
Keyword Trendsetter Combo
(3)
π
Grand Slam
π§¬
Topic Evolution
π
Keyword Champion
(2)
ποΈ
Keyword Collector
(57)
π
Century Club
(17)
Conferences
ICLR (5)
CVPR (4)
ICML (3)
NIPS (3)
AAAI (1)
NAACL (1)
Top co-authors
Keywords
deep neural network
(5)
deep learning
(3)
theorem proving
(3)
image classification
(3)
object detection
(3)
convolutional neural network
(3)
formal verification
(2)
higher-order logic
(2)
neural network
(2)
computer vision
(2)
automated reasoning
(2)
automated theorem proving
(2)
inception architecture
(2)
language modeling
(1)
knowledge representation
(1)
semantic segmentation
(1)
batch normalization
(1)
reinforcement learning
(1)
representation learning
(1)
efficient computing
(1)
Papers
Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
ICLR 2024
Magnushammer: A Transformer-Based Approach to Premise Selection
ICLR 2024
Memorizing Transformers
ICLR 2022
Hierarchical Transformers Are More Efficient Language Models
NAACL 2022
Autoformalization with Large Language Models
NIPS 2022
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning
ICML 2021
Mathematical Reasoning via Self-supervised Skip-tree Training
ICLR 2021
Mathematical Reasoning in Latent Space
ICLR 2020
Graph Representations for Higher-Order Logic and Theorem Proving
AAAI 2020
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving
ICML 2019
DeepMath - Deep Sequence Models for Premise Selection
NIPS 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
NIPS 2013