Rob Sullivan

activity

20232026

most citedCan Large Language Models Act as Symbolic Reasoners?

2 citations · 2 across the 5 of their papers we have counts for

collaborators

Showing 2025Show all

3 papers · 1 filter

math.LO2025

Group-extensive embeddings into Fraïssé structures and stationary weak independence relations

Aleksandra Kwiatkowska, Rob Sullivan, Jeroen Winkel

Let $M$ be a Fraïssé structure (a countably infinite ultrahomogeneous structure). We call an embedding $f : A \to M$ group-extensive if each automorphism of its image extends to an…

math.LO2025

Embeddings into the generic poset

Aleksandra Kwiatkowska, Rob Sullivan, Jeroen Winkel

Let M be the generic poset, defined as the Fraïssé limit of the class of finite posets. We show that every countably infinite poset A can be embedded with coinfinite image into M s…

math.GR2025

Two generalisations of sharp k-transitivity

J. de la Nuez González, Rob Sullivan

An action $U ↶ G$ of a group $G$ on a set $U$ is sharply $k$ -transitive if, for any two $k$ -tuples $a ˉ, b ˉ \in U^{k}$ of distinct elements, there is a unique…