Department of Mathematics, London School of Economics and Political Science, London, United Kingdom; Institute of Theoretical Informatics, Karlsruhe Institute of Technology, Karlsruhe, Germany; Department of Computer Science, ETH Zurich, Zurich, Switzerland; Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands
Daniel Bertschinger, Christoph Hertrich, Paul Jungeblut, Tillmann Miltzow, Simon Weber
Neural Network Training;Computational Complexity;Existential Theory of the Reals;Algebraic Universality;Empirical Risk Minimization
Training Fully Connected Neural Networks is $\exists\mathbb{R}$-Complete