Two-Layer Networks Provably Converge to Irreducible Group Representations | HACKOBAR_