Training Neural Networks is $\exists\mathbb R$-complete

Re-assign community