Deep Symbolic Optimization: Reinforcement Learning for Symbolic Mathematics. - Conor F. Hayes; Felipe Leno da Silva; Jiachen Yang; T. Nathan Mundhenk; Chak Shing Lee; Jacob F. Pettit; Claudio Santiago; Sookyung Kim; Joanne Taery Kim; Ignacio Aravena Solis; Ruben Glatt; Andre R. Goncalves; et al. (CoRR, 2025)