Venue: NeurIPS 2021 Conference

Reviews:

final_score: rating: 9: Top 15% of accepted NeurIPS papers, strong accept
review_content: summary: This paper proves that THE "Neural Network Training" problem is complete in a complexity class called ETR that is believed to be strictly larger than the class NP. Thus, it establishes a stronger hardness result than the well-known NP-Hardness for the problem, and shows that the problem is, in fact, probably not NP-Complete.

ETR stands for Existential Theory of the Reals and it can be thought of as a continuous analog of NP. The canonical complete problem for this class is similar to SAT by instead of boolean clauses we have algebraic constraints, and instead of a satisfying boolean assignment to the variables we are looking for an assignment of real values.

The result is proved by:
(1) Proving containment in ETR: this is the easy direction and follows from known methods for proving containment in ETR.
(2) Proving ETR-Hardness via a reduction from the canonical ETR problem. This is done by simple but clever gadgets that encode algebraic constraints with neural networks and data points.

This result is proved even for very restricted settings of the NN-Training problem, with one hidden layer and standard activation functions and so on.
main_review: I think this is a great submission giving a strong and fundamental theoretical result about the core problem of "NeurIPS" and ML. Moreover, as the authors explain, this theoretical result comes with some conceptual message: it sheds light on why neural networks are more expressive than other discrete structures, and on why SAT-solvers and other methods that are useful against NP-complete problems in practice, are not as effective against NN-Training (because it is not NP-complete!).

From a technical perspective the proof is not difficult but it requires some work and familiarity with recent progress on proving ETR completeness; a topic that is rather active these days in the theory community.

The paper is very well-written and provides clear motivations and explanations for a wide audience. 
limitations_and_societal_impact: N/A
review_title: null

final_score: rating: 5: Marginally below the acceptance threshold
review_content: summary: It is known that training neural networks is NP-hard, and this work makes a further attempt by studying the ER-hardness of the problem. The definition of 'neural network training' used in the proof of this paper is: do there exist weights such that the neural net maps every data input to corresponding output? This work proves that training neural networks is ER-complete, which is believed to be harder than NP.
main_review: **Originality**

It seems that this paper is the first to study the ER-hardness of training neural networks. So, good originality as far I see.

**Quality**

I find no errors in the proofs, and the overall quality is good in my opinion. However, I do find some arguments not well supported.

1. It is claimed in the abstract (line 1-4) that this paper proves that finding weights such that *the error is below a threshold* is ER-complete. However, theorem 2 requires *the error is 0*. Is it easy to extend theorem 2 to 'below a threshold'? If yes, then it should be discussed somewhere. If no, then the claim in the abstract is not appropriate.
2. In line 188, it is stated that some additional properties of the original ETR-INV can be ignored without affecting the correctness of the theorem A. Given that it is a theorem, I think it should be provided with proof.
3. There are three major differences between the regular neural networks and the neural networks used in this paper, i.e., (1) the neural network architectures considered in this paper are carefully constructed; (2) the activation function is always identity; (3) perfect mapping (zero error) is considered, rather than below a threshold. I appreciate the authors address the first limitation with a discussion about the ReLU activation. However, it is still interesting to see more discussion about the other two limitations. Rigorously speaking, to make *"Training Neural Networks is ER-complete"* such a title, it is expected that the above three limitations are fully discussed, if not solved.

**Clarity**

Overall the paper is well written, but I do have some complaints about how the proof is structured. For example, summarizing section 2 with a lemma may improve the clarity. 

**Significance**

The hardness of training neural networks is fundamental and surely interesting. Proving it to be ER-complete is indeed a further step from NP-hard. However, the three limitations discussed above bring down the significance of this paper to some extent. 
limitations_and_societal_impact: I appreciate that the authors provide some discussion on the limitation of the activation function. It would be much better if the architecture limitation and the threshold limitation are discussed in details.
review_title: null

final_score: rating: 6: Marginally above the acceptance threshold
review_content: summary: The authors showed that the training of neural networks is $\exists\mathbb{R}$-complete, which implies the reason that techniques commonly used for solving large NP-complete problems do not work for neural network training.
main_review: Strengths:
+ The authors partially answered the question of why backpropagation works better for training neural networks than those methods commonly used for NP-complete problems.
+ The authors determined the algorithmic complexity of nn-training.

Weaknesses:
+ The main result assumes that the activation function $\phi(x)$ is the identity function, while the most commonly used activation is practice is ReLU. It would be interesting to show that Conjecture 6 is true.
+ As the authors already mentioned, it is interesting to see if training fully-connected neural networks can also fall into the category of $\exists\mathbb{R}$-complete.


Correctness:
+ The paper has no false claim to the best of my knowledge.

Clarity:
+ The overall structure of this paper is clear.

*After Rebuttal*

I have read through other reviews, and I agree that the notion of training in the paper is not as convincing as I originally thought it would be. However, I also agree with g6Te that there may be interesting and sound techniques established. I change my score to 6.


limitations_and_societal_impact: The authors adequately addressed the limitations.
review_title: null

final_score: rating: 4: Ok but not good enough - rejection
review_content: summary: This paper proves ETR-hardness of the problem of training a neural network to achieve a loss below a given threshold. 
ETR complete problems are believed to be harder to solve than NP-complete problem, hence the results strengthen existing hardness results for training neural networks. The proof is via a reduction to the problem of deciding whether a polynomial equation with integer coefficients has a solution over the reals. 
main_review: While the ETR hardness results are nice, I believe the conclusions made by the authors are misleading. The authors claim that  SAT-solving methods will not work well for training (and have not worked well in the past). This is not true: see for example the influential: "Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks". The suggestion that learning discrete structures such as grammars or Automates is easier than learning NN also does not fair well with the experience in ML, where training an NN is usually much easier than learning discrete models. The idea that NP-complete problems are "easy" and ETR problems are "hard" is strange. Both worst-case hardness results should imply intractability. The authors should spend more on discussing the worst case nature of their hardness results. Also the authors should be more careful in using the term local search (and claiming it will not work for training). After all, gradient based optimization is a local search  method. 
Additionally, the paper proves hardness results for NN architectures that are rarely used in practice. Extending the results to more popular architectures (such as fully connected ones) would strengthen the results.   Another is to use ETR solvers to get algorithmic results in training neural networks. 

limitations_and_societal_impact: Yes.
review_title: null

Meta-review: The paper shows that the problem of (**exact**) empirical risk minimization (ERM) in linear neural networks is ETR-Complete. The result is technically innovative, and interesting. Nevertheless it was felt by the reviewers that some of the conclusions made by the authors are misleading, and not very convincing. 

While exact solving of the ERM objective is an interesting question, there is a crucial gap between ERM and training -- which normally refers to learning good parameters of the model that obtain small *excess* risk. Because of that, it is normally justified to find an $\textrm{OPT}+\epsilon$ solution for ERM. This is justified because $\epsilon$ error is incurred anyway due to statistical uncertainty. Moreover, in any reasonable model (where solution of the ERM can begin to lead to some generalization guarantees) finding an $\textrm{OPT}+\epsilon$ is regarded NP hard (by standard discretization/packing/covering and union bound arguments).

If the authors want to draw conclusions on the hardness of training from hardness of ERM solving, they would need to further justify this. In the final revision please tone down the last paragraphs in the introduction, and discuss the difference between *exact* ERM and training, as well as address other reviewers comments.
Decision: Accept (Poster)