SymLight: Exploring Interpretable and Deployable Symbolic Policies for Traffic Signal Control