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

6 papers

math.CO2026

Structured sunflowers and canonical Ramsey properties

Rob Sullivan, Jeroen Winkel

A first-order structure is said to have the infinite sunflower property if, for each and each structure whose elements are -sets, there is…

math.LO2025

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

Aleksandra Kwiatkowska, Rob Sullivan, Jeroen Winkel

Let be a Fraïssé structure (a countably infinite ultrahomogeneous structure). We call an embedding 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 of a group on a set is sharply -transitive if, for any two -tuples of distinct elements, there is a unique…

cs.CL2024★ 2 cited

Can Large Language Models Act as Symbolic Reasoners?

Rob Sullivan, Nelly Elsayed

The performance of Large language models (LLMs) across a broad range of domains has been impressive but have been critiqued as not being able to reason about their process and conc…

math.LO2023

The externally definable Ramsey property and fixed points on type spaces

Nadav Meir, Rob Sullivan

We discuss the externally definable Ramsey property, a weakening of the Ramsey property for ultrahomogeneous structures, where the only colourings considered are those that are ext…