基于好奇心驱动的强化学习用于符号方程求解
机器学习
2025-10-30 v2 人工智能
摘要
我们探讨了强化学习是否对符号数学有用。以前的工作表明，对一元线性方程的对比学习可以求解。我们表明，采用基于好奇心的探索和图结构动作的无模型 PPO \cite{schulman2017proximal} 可以求解涉及根式、指数和三角函数等非线性方程。我们的工作表明，基于好奇心的探索可能对通用的符号推理任务有用。
引用
@article{arxiv.2510.17022,
title = {Curiosity-driven RL for symbolic equation solving},
author = {Kevin P. O'Keeffe},
journal= {arXiv preprint arXiv:2510.17022},
year = {2025}
}
备注
Accepted at the NeurIPS 2025 MATH-AI Workshop