@article{
o'keeffe2026reinforcement,
title={Reinforcement Learning for Symbolic Equation Solving},
author={Kevin O'Keeffe},
journal={Transactions on Machine Learning Research},
issn={2835-8856},
year={2026},
url={https://openreview.net/forum?id=JlC5BJiikD},
note={}
}