“…Since their introduction by Vaswani et al (2017), transformers, originally designed for machine translation, were applied to various problems, from text generation (Radford et al, 2018; to image processing (Carion et al, 2020) and speech recognition (Dong et al, 2018) where they soon achieved state-of-the-art performance (Dosovitskiy et al, 2021;Wang et al, 2020b). In mathematics, transformers were used for symbolic integration (Lample & Charton, 2019), theorem proving (Polu & Sutskever, 2020), formal logic (Hahn et al, 2021), SAT solving (Shi et al, 2021), symbolic regression (Biggio et al, 2021) and dynamical systems (Charton et al, 2020).…”