Hierarchical Reinforcement Learning for Sparse-Reward Search in Commutative Algebra
用于交换代数中稀疏奖励搜索的分层强化学习
机构 * California Institute of Technology(加州理工学院) ; Temple University(天普大学) ; University of Kansas(堪萨斯大学) ; University of California, Berkeley(加州大学伯克利分校)
AI总结 针对数学猜想验证中的奖励稀疏问题,提出基于约束选项的分层强化学习框架,结合等变图神经网络策略,在交换代数问题中首次应用HRL并优于经典RL和贪心搜索。
Comments 21 pages, 15 figures, 3 tables. Accepted at ICML 2026