David Eisenbud

Hierarchical Reinforcement Learning for Sparse-Reward Search in Commutative Algebra

Applying machine learning techniques to solving long-standing mathematical conjectures can be particularly challenging due to their extreme reward sparsity. As an illustrative example, we consider Kalai's algebraic Hirsch conjecture and recast the construction of its counterexamples as a sparse-rewa…