Eliot Hodges

activity

20242026

collaborators

3 papers

cs.LG2026

HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic Verification

Erik Y. Wang, Sumeet Motwani, James V. Roggeveen +7

Can AI make progress on important, unsolved mathematical problems? Large language models are now capable of sophisticated mathematical and scientific reasoning, but whether they ca…

math.NT2025

A parametrization of $3$ -class groups of quadratic rings over Dedekind domains

Eliot Hodges, Ashvin A. Swaminathan

Let $R$ be a Dedekind domain with field of fractions $K$ and $char (R) \neq = 3$ . In this paper, we generalize Bhargava's parametrization of $3$ -torsion ideal classes by…

math.CO2024

Bender--Knuth Billiards in Coxeter Groups

Grant Barkley, Colin Defant, Eliot Hodges +2

Let $(W, S)$ be a Coxeter system, and write $S = {s_{i} : i \in I}$ , where $I$ is a finite index set. Fix a nonempty convex subset $L$ of $W$ . If $W$ is of type $A$ , then $\mat…

HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic Verification

A parametrization of 3-class groups of quadratic rings over Dedekind domains

Bender--Knuth Billiards in Coxeter Groups

A parametrization of $3$ -class groups of quadratic rings over Dedekind domains