3 citations · 5 across the 9 of their papers we have counts for
6 papers · 1 filter
Quantum Invariants indexed by Fibered Faces of the Thurston Polytope
Davide Passaro, Lara San Martín Suárez
We study the Gukov--Manolescu quantum invariant for oriented links. While this invariant is a single series in the knot case, we find that links admit multiple such series, each on…
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…
fkcompute: an efficient invariant calculator
Paul Orland, Davide Passaro, Lara San Martín Suárez +2
We introduce fkcompute, an open-source package for computing the Gukov--Manolescu invariant of links from a braid presentation. fkcompute implements Park's inverted state sum throu…
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…