Summary
This paper presents a theoretical analysis of curriculum learning, in which a neural network first presented with “easier” examples is able to more efficiently learn a target over more “complex” examples. The authors specifically consider the problem of learning $k$-sparse parities over a distribution which is a mixture of the uniform distribution over the hypercube and a biased distribution over the hypercube (the easy examples). The main positive results study a two-layer neural network trained via a layer-wise curriculum version of SGD (Algorithm 1), where first the first layer weights are trained on samples from the biased distribution, and next the second layer weights are trained on samples from the mixture distribution. Theorems 3 shows that this algorithm learns $k$-sparse parities with respect to the mixture distribution in $\tilde O(d)$ steps of SGD. In contrast, the paper presents a lower bound showing that noisy SGD on the mixture distribution alone requires $\Omega(d^{1+\delta})$ timesteps to learn a $k$-sparse parity up to nontrivial error. The proof for the upper bound relies on the martingale plus drift argument to show that the $k$ relevant coordinates have been learned after the first stage, while the lower bound uses similar techniques to proving SQ lower bounds.
Strengths
- The paper is well written.
- I skimmed the proofs in the appendix and they appear to be sound. The experiments section demonstrates that the proposed curriculum strategy is effective in settings beyond those considered in the theory.
- Curriculum learning is a common procedure in practice, and yet there is limited theoretical understanding of its behavior. The sparse parity problem presented here is an interesting setting to study curriculum learning, with a clear measure of “easier” samples. The results here adequately show that a neural network can obtain an efficiency improvement from first training on these easier samples, which I find to be a very nice result.
Weaknesses
- The novelty of the paper, in comparison to the prior work [CM23], is a bit difficult to discern. It appears that the main difference is that the current paper uses SGD for multiple steps in the first stage and uses the “drift plus martingale” technique for the proof, while [CM23] considers a single large step of GD with large batch size in the first stage and shows that is sufficient for learning the support. However, Theorem 3 here seems very similar to Theorem 3.4 in [CM23]. Also, Theorem 4 still uses the one-step algorithm. Could you please comment further on the novelty of the current paper in comparison to the prior work?
- A minor weakness is that the algorithm is a bit restrictive and has some nonstandard modifications. In particular, during the first stage the biases are chosen to be very large ($\Theta(d)$), and then resampled to different deterministic values before the second stage. Next, there is an $\ell_\infty$ projection on the weights during each step of stage 1. Could you please comment on the necessity of these modifications? I think the paper could benefit from additional discussion of these modifications.
Questions
- It appears that in Theorem 3, the algorithm receives far more samples from the biased distribution than the uniform distribution. In particular, during the first stage the algorithm receives $\tilde O(d)$ biased samples, while in the second stage receives $\tilde O(d)$ uniform samples. In contrast, when running SGD on the entire mixture distribution (like for the lower bounds in Theorem 5), the algorithm receives only $\rho$-times as many biased samples as uniform samples. In the regimes where there is a separation, $\rho$ is very small, in which case curriculum SGD is receiving far more samples from $D_\mu$. It thus seems like the success of curriculum SGD is not necessarily due to viewing the “easy” examples first, but rather from having access to far more “easy” examples than in regular SGD. Is my understanding here correct, and can you please comment on this further?
I am open to increasing my score after further clarifications on the above point and my concerns in the weaknesses section.
- Minor typos: In Algorithm 1, should line 3 be $\frac12 - \frac{\mu}{4}$ instead?
Rating
6: Weak Accept: Technically solid, moderate-to-high impact paper, with no major concerns with respect to evaluation, resources, reproducibility, ethical considerations.
Confidence
4: You are confident in your assessment, but not absolutely certain. It is unlikely, but not impossible, that you did not understand some parts of the submission or that you are unfamiliar with some pieces of related work.
Limitations
Limitations are adequately addressed.