A linear representation of the ear-matroid

von Szegedy, Christian
Veröffentlicht 1999

A Promising Path Towards Autoformalization and General Artificial Intelligence

von Szegedy, Christian
Veröffentlicht in CICM (13. : 2020 : Online) Intelligent computer mathematics (2020)

Some applications of the weighted combinatorial Laplacian

von Szegedy, Christian
Veröffentlicht 2005

A subgradient method using alternating projections

von Rautenbach, Dieter
Veröffentlicht 2004

A class of problems for which cyclic relaxation converges linearly

von Rautenbach, Dieter
Veröffentlicht 2004

A class of problems for which cyclic relaxation converges linearly

von Rautenbach, Dieter
Veröffentlicht in Computational optimization and applications (2008)

Towards the Automatic Mathematician

von Rabe, Markus N.
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)

On the cost of optimal alphabetic code trees with unequal letter costs

von Rautenbach, Dieter
Veröffentlicht 2004

Asymptotically optimal Boolean circuits for functions of the form gn-1(gn-2(...g3(g2(g1(x1,x2),x3),x4)...,xn-1),xn) given input arrival times

von Rautenbach, Dieter
Veröffentlicht 2003

Delay optimization of linear depth Boolean circuits with prescribed input arrival times

von Rautenbach, Dieter
Veröffentlicht 2003

Fast circuits for functions whose inputs have specified arrival times

von Rautenbach, Dieter
Veröffentlicht 2003

Timing optimization by restructuring long combinatorial paths

von Werber, Jürgen
Veröffentlicht 2006

LIME: LEARNING INDUCTIVE BIAS FOR PRIMITIVES OF MATHEMATICAL REASONING

von WU, YUHUAI
Veröffentlicht in International Conference on Machine Learning (38. : 2021 : Online) International Conference on Machine Learning (ICML 2021 ; Part 14 of 16 (2022)

Autoformalization with Large Language Models

von Wu, Yuhuai
Veröffentlicht in NeurIPS (36. : 2022 : New Orleans, La.; Online) 36th Conference on Neural Information Processing Systems (NeurIPS 2022 ; Volume 42 of 50 (2023)