Provably Strict Generalisation Benefit for Equivariant Models