activity
20172026
most citedA proof that square ice entropy is

1 citations · 1 across the 9 of their papers we have counts for

collaborators

15 papers

cs.AI2026

Assessing LLMs' mathematical abilities requires understanding the various mechanisms of mathematical creativity

Silvère Gangloff

How should we assess whether large language models can perform mathematical invention? I argue that this question is currently underspecified: mathematical creativity is not one ca…

math.DS2026

Residual stratification and the Cantor-Bendixson structures of dual algebraic coframes

Silvère Gangloff, Alonso Nuñez

We introduce a notion of residual derivative for elements of a preordered set, a construction that generalizes both the Frattini subgroup in algebra and the Cantor-Bendixson deriva…

math.DS2025

On the cohomology of homshifts

Nishant Chandgotia, Silvère Gangloff, Benjamin Hellouin de Menibus +1

We study the cohomology of symbolic dynamical systems called homshifts: they are the nearest-neighbour shifts of finite type whose adjacency rules are the same in ev…

math.DS2025

Undecidability of the block gluing classes of homshifts

Nishant Chandgotia, Silvère Gangloff, Benjamin Hellouin de Menibus +1

A homshift is a -dimensional shift of finite type which arises as the space of graph homomorphisms from the grid graph to a finite connected undirected graph .…

math.DS2024

The topological structure of isolated points in the space of -shifts

Silvère Gangloff, Alonso Núñez

R. Pavlov and S. Schmieding provided recently some results about generic -shifts, which rely mainly on an original theorem stating that isolated points form a residual…

math.DS2023

Various questions around finitely positively expansive dynamical systems

Silvère Gangloff, Pierre Guillon, Piotr Oprocha

It is well-known that when a positively expansive dynamical system is invertible then its underlying space is finite. C.Morales has introduced a decade ago a natural way to general…