Christian Szegedy

According to our database1, Christian Szegedy authored at least 37 papers between 2002 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version).
CoRR, 2019

2018
Text Embeddings for Retrieval From a Large Knowledge Base.
CoRR, 2018

2017
Deep Network Guided Proof Search.
CoRR, 2017

HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving.
CoRR, 2017

Deep Network Guided Proof Search.
Proceedings of the LPAR-21, 2017

HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving.
Proceedings of the 5th International Conference on Learning Representations, 2017

Inception-v4, Inception-ResNet and the Impact of Residual Connections on Learning.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Inception-v4, Inception-ResNet and the Impact of Residual Connections on Learning.
CoRR, 2016

DeepMath - Deep Sequence Models for Premise Selection.
CoRR, 2016

DeepMath - Deep Sequence Models for Premise Selection.
Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

SSD: Single Shot MultiBox Detector.
Proceedings of the Computer Vision - ECCV 2016, 2016

Rethinking the Inception Architecture for Computer Vision.
Proceedings of the 2016 IEEE Conference on Computer Vision and Pattern Recognition, 2016

2015
Large Scale Business Discovery from Street Level Imagery.
CoRR, 2015

Rethinking the Inception Architecture for Computer Vision.
CoRR, 2015

Training Deep Neural Networks on Noisy Labels with Bootstrapping.
Proceedings of the 3rd International Conference on Learning Representations, 2015

SSD: Single Shot MultiBox Detector.
CoRR, 2015

Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift.
CoRR, 2015

Explaining and Harnessing Adversarial Examples.
Proceedings of the 3rd International Conference on Learning Representations, 2015

Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift.
Proceedings of the 32nd International Conference on Machine Learning, 2015

Going deeper with convolutions.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2015

2014
Intriguing properties of neural networks.
Proceedings of the 2nd International Conference on Learning Representations, 2014

Scalable, High-Quality Object Detection.
CoRR, 2014

Going Deeper with Convolutions.
CoRR, 2014

DeepPose: Human Pose Estimation via Deep Neural Networks.
Proceedings of the 2014 IEEE Conference on Computer Vision and Pattern Recognition, 2014

Scalable Object Detection Using Deep Neural Networks.
Proceedings of the 2014 IEEE Conference on Computer Vision and Pattern Recognition, 2014

2013
DeepPose: Human Pose Estimation via Deep Neural Networks.
CoRR, 2013

Scalable Object Detection using Deep Neural Networks.
CoRR, 2013

Deep Neural Networks for Object Detection.
Proceedings of the Advances in Neural Information Processing Systems 26: 27th Annual Conference on Neural Information Processing Systems 2013. Proceedings of a meeting held December 5-8, 2013

2009
Modular code generation from synchronous block diagrams: modularity vs. code size.
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

2008
On the cost of optimal alphabetic code trees with unequal letter costs.
Eur. J. Comb., 2008

A class of problems for which cyclic relaxation converges linearly.
Comp. Opt. and Appl., 2008

2007
The delay of circuits whose inputs have specified arrival times.
Discrete Applied Mathematics, 2007

A morphing approach to address placement stability.
Proceedings of the 2007 International Symposium on Physical Design, 2007

Timing optimization by restructuring long combinatorial paths.
Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

2006
Delay optimization of linear depth boolean circuits with prescribed input arrival times.
J. Discrete Algorithms, 2006

Symplectic Spaces And Ear-Decomposition Of Matroids.
Combinatorica, 2006

2002
On the Number of 3-Edge Colorings of Cubic Graphs.
Eur. J. Comb., 2002


  Loading...