@article{250510762,
  title = {Deep Symbolic Optimization: Reinforcement Learning for Symbolic Mathematics},
  author = {Conor F. Hayes and Felipe Leno Da Silva and Jiachen Yang and T. Nathan Mundhenk and Chak Shing Lee and Jacob F. Pettit and Claudio Santiago and Sookyung Kim and Joanne T. Kim and Ignacio Aravena Solis and Ruben Glatt and Andre R. Goncalves and Alexander Ladd and Ahmet Can Solak and Thomas Desautels and Daniel Faissol and Brenden K. Petersen and Mikel Landajuela},
  year = {2025},
  eprint = {2505.10762},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2505.10762v1},
}