13 citations · 22 across the 10 of their papers we have counts for
4 papers · 1 filter
New Records for the Hadamard Maximal Determinant Problem
Giorgi Butbaia, Pragatheeswaran Vipulanandan, Justin Tan +6
The Hadamard maximal determinant problem seeks an matrix with entries in , which maximizes the determinant for a given order $n \in…
New Snake-in-the-Box Records via Snakepit Surgery and Learned Construction
Paul Orland, Lucas Fagan, Michele Tarquini +7
The snake-in-the-box problem asks for a longest induced path in the hypercube graph . We find a length-191 snake in dimension , the lowest dimension where the maximum is…
Hierarchical Reinforcement Learning for Sparse-Reward Search in Commutative Algebra
Giorgi Butbaia, Paul Orland, Coco Huang +7
Applying machine learning techniques to solving long-standing mathematical conjectures can be particularly challenging due to their extreme reward sparsity. As an illustrative exam…
The Two-Hump Problem: Bridging the Difficulty Gap in Mathematical Reinforcement Learning
Lucas Fagan, Michele Tarquini, Ali Shehper +6
Mathematical search problems present a unique challenge for Reinforcement Learning (RL) due to vast search spaces and sparse rewards. In previous works, the Andrews-Curtis (AC) con…