Can Large Language Models Act as Symbolic Reasoners? - Rob Sullivan; Nelly Elsayed (CoRR, 2024)

The externally definable Ramsey property and fixed points on type spaces. - Nadav Meir; Rob Sullivan (Arch. Math. Log., 2025)