Michele Tarquini

collaborators

4 papers

math.CO2026

New Records for the Hadamard Maximal Determinant Problem in Dimensions $51$ , $107$ , $111$ , $115$ , and $119$

Giorgi Butbaia, Pragatheeswaran Vipulanandan, Justin Tan +6

We compute new lower bounds for determinants of ${\pm 1}$ -matrices of orders $n = 51$ , $n = 107$ , $n = 111$ , $n = 115$ , and $n = 119$ , improving previous recorded bounds by $3.1%$ , $0.44\…

cs.DM2026

A Census of New Snake-in-the-Box Records

Paul Orland, Lucas Fagan, Michele Tarquini +7

The snake-in-the-box problem, introduced by Kautz in 1958, asks for the longest induced (chordless) path, called a snake, in the hypercube graph $Q_{n}$ . The maximum length $a (n)$ is…

cs.LG2026

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…

cs.LG2026

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…

New Records for the Hadamard Maximal Determinant Problem in Dimensions 51, 107, 111, 115, and 119

A Census of New Snake-in-the-Box Records

Hierarchical Reinforcement Learning for Sparse-Reward Search in Commutative Algebra

The Two-Hump Problem: Bridging the Difficulty Gap in Mathematical Reinforcement Learning

New Records for the Hadamard Maximal Determinant Problem in Dimensions $51$ , $107$ , $111$ , $115$ , and $119$