Christian Szegedy

Available identifiers

Publication	Date of Publication	Type
Towards the automatic mathematician	2021-12-01	Paper
A promising path towards autoformalization and general artificial intelligence	2021-01-20	Paper
Deep Network Guided Proof Search	2019-01-10	Paper
Modular code generation from synchronous block diagrams	2015-07-03	Paper
A class of problems for which cyclic relaxation converges linearly	2009-10-09	Paper
On the cost of optimal alphabetic code trees with unequal letter costs	2008-02-25	Paper
The delay of circuits whose inputs have specified arrival times	2007-06-26	Paper
Delay optimization of linear depth Boolean circuits with prescribed input arrival times	2007-02-14	Paper
Symplectic spaces and ear-decomposition of matroids	2007-01-08	Paper
https://portal.mardi4nfdi.de/entity/Q5480270	2006-07-27	Paper
On the number of 3-edge colorings of cubic graphs	2002-09-23	Paper

This page was built for person: Christian Szegedy