From the 2 of 6 linked papers with an AI index.
6 papers
A Census of New Snake-in-the-Box Records
Paul Orland, Lucas Fagan, Michele Tarquini +7
The paper presents new longest induced (chordless) paths, called snakes, in hypercube graphs for dimensions 9 through 13, thereby improving the known lower bounds for the snake-in-…
fkcompute: an efficient invariant calculator
Paul Orland, Davide Passaro, Lara San MartÃn Suárez +2
The paper presents fkcompute, an open‑source tool for efficiently calculating the Gukov–Manolescu invariant of links given by braid presentations, and releases the first public dat…
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…
3d Modularity Revisited
Miranda C. N. Cheng, Ioana Coman, Piotr Kucharski +2
The three-manifold topological invariants capture the half-index of the three-dimensional theory with supersymmetry obtained by compactifying the M5 bran…
from Surgery and Modularity
Shimal Harichurn, Mrunmay Jagadale, Dmitry Noshchenko +1
invariants, rigorously defined for negative definite plumbed 3-manifolds, are expected--on physical grounds--to exist for every closed, oriented 3-manifold. Several p…