Theoretical Analysis of Weak-to-Strong Generalization