ODEFormer: Symbolic Regression of Dynamical Systems with Transformers