A Transformer Model for Symbolic Regression towards Scientific Discovery