scispace - formally typeset
C

Christian Szegedy

Researcher at Google

Publications -  76
Citations -  197784

Christian Szegedy is an academic researcher from Google. The author has contributed to research in topics: Automated theorem proving & Deep learning. The author has an hindex of 31, co-authored 69 publications receiving 147148 citations. Previous affiliations of Christian Szegedy include Lawrence Berkeley National Laboratory & Cadence Design Systems.

Papers
More filters
Journal ArticleDOI

Symplectic Spaces And Ear-Decomposition Of Matroids

TL;DR: It is proved that a matroid representable over a field of characteristic 2 admits an odd ear-decomposition if and only if it can be represented by some space on which the induced scalar product is a non-degenerate symplectic form.
Journal ArticleDOI

A class of problems for which cyclic relaxation converges linearly

TL;DR: The result generalizes several convergence results that have been observed for algorithms applied to gate- and wire-sizing problems that arise in chip design and presents a simple and transparent proof for the fact that cyclic relaxation converges linearly to an optimum solution when applied to the minimization of functions of the form f(x), xn.
Proceedings ArticleDOI

A morphing approach to address placement stability

TL;DR: This work proposes a novel placement approach called grid morphing, which is specifically tailored for an incremental approach to placement, and focuses on the stability of the placement,Which is critical for minimization of perturbation of the final placement under changes applied to the input netlist.
Patent

Robust and fast model fitting by adaptive sampling

TL;DR: In this article, a target model having a large number of inputs is fit using a performance model having relatively few inputs, and the performance model is learned during the fitting process, and then the parameters of the target model are updated based on the damping factor and the parameters computed by the optimization round.
Journal ArticleDOI

The delay of circuits whose inputs have specified arrival times

TL;DR: Let C be a circuit representing a straight-line program on n inputs x"1, x"2,...,x"n, where x"n" is the number of inputs and 1 is the power of the program.