works on
model theory 1permutation groups 1sharp transitivity 1ultrahomogeneous structures 1virtually free groups 1

From the 1 of 6 linked papers with an AI index.

activity
20242026
collaborators
Showing cs.CLShow all

1 paper · 1 filter

cs.CL2024

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…