Formalizing the Linear Representation Hypothesis via Group Actions | HACKOBAR_