Rob Sullivan

Orcid: 0009-0004-7818-0758

According to our database¹, Rob Sullivan authored at least 2 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

The externally definable Ramsey property and fixed points on type spaces.

[DOI]

Arch. Math. Log., May, 2025

2024

Can Large Language Models Act as Symbolic Reasoners?

[DOI]

CoRR, 2024