TY - RPRT TI - Curiosity-driven RL for symbolic equation solving AU - Kevin P. O'Keeffe PY - 2025 UR - https://arxiv.org/abs/2510.17022 ID - 2510.17022 ER -