2 citations · 2 across the 2 of their papers we have counts for
3 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
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…
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…