Transformers Provably Solve Parity Efficiently with Chain of Thought - Kim, Juno; Suzuki, Taiji (International Conference on Learning Representations, 2025)