Tom McCoy

Tom McCoy

@rtommccoy.bsky.social

Assistant professor at Yale Linguistics. Studying computational linguistics, cognitive science, and AI. He/him.

2.1K followers371 following303 posts

View full thread

For much more, read the paper, in Current Opinion in Behavioral Sciences! www.sciencedirect.com/science/arti... Due to space constraints, we couldn't fit all of the discussion and citations that we ideally would have - very sorry to the many excellent papers we had to leave out! 9/n

sciencedirect.comReconciling symbols and neural networks: evidence for a quasi-symbolic viewMany domains of cognition, such as language and reasoning, have traditionally been modeled with symbolic systems. However, in both biological and arti…
View full thread

Properties that are enabled by being quasi-symbolic rather than precisely symbolic include: 1. Gradient similarity 2. Graceful degradation 3. Softness of constraints 4. Flexibility in learning 5. Handling of partially-symbolic tasks 7/n

The evidence we discuss is from artificial neural nets. But such systems are some of the best we have for capturing important aspects of human behavior & brain data. Thus, we argue the quasi-symbolic view should also be taken seriously as a hypothesis about human cognition 8/n

View full thread

On the side of learning, meta-learning enables neural networks to display the rapid learning that is traditionally characteristic of symbolic systems. This rapid learning is supported by compositional structure in parameter space! 5/n

Despite the presence of emergent symbolic representations and algorithms, these networks should not be thought of as mere implementations of symbol systems. They diverge from pure symbol systems in meaningful ways that account for important behavioral properties 6/n

View full thread

On the side of representations, meaningful symbolic units can often be found inside the vector representations of neural networks as shown by (e.g.) sparse autoencoders, additive analogies, and Tensor Product Representations 3/n

On the side of algorithms, work in circuits and subnetworks has found that the computations inside neural networks can often be broken down into meaningful compositional units 4/n

This paper is a review-slash-opinion piece. We first review evidence that neural networks trained in AI display emergent symbolic representations, algorithms, and learnig. 2/n

Here's a thread about the work, done with Paul Soulos, @tallinzen.bsky.social, and Paul Smolensky: bsky.app/profile/rtom...

Tom McCoy@rtommccoy.bsky.social

🤖🧠NEW PAPER🧠🤖 (The result of an 8-year project!) LLMs seem very different from symbolic systems. Yet LLMs excel in symbolic domains (e.g., language/code/math). How do they do it? Our finding: LLM representations have implicit symbolic structure! Link in thread ⬇️ 1/n

My sister and I saw the Lion King in mid-September, and I just realized that this was perfect timing: the pride goes before the fall

A nor'easter is a storm with winds from the northeast So you might think a sou'wester would be a storm with winds from the southwest. But it's not!! It's a type of hat!! Language strikes again

Tom McCoy reposted

New work out today! The result of a 15 year project to offer genuine linking hypotheses between linguistics and neuroscience: a revised research program, and its first result - a novel neural binding operation ('Meld') capturing core properties of natural language syntax 🧵 arxiv.org/abs/2609.14384

arxiv.orgFormal Properties of Language as Constraints on Neural DynamicsWhat must a neural system be capable of to implement language? Current research annotates stimuli with linguistic variables and tests which electrodes, voxels, or language-model layers predict neural ...

🤖🧠NEW PAPER🧠🤖 (The result of an 8-year project!) LLMs seem very different from symbolic systems. Yet LLMs excel in symbolic domains (e.g., language/code/math). How do they do it? Our finding: LLM representations have implicit symbolic structure! Link in thread ⬇️ 1/n

View full thread

These results provide a potential explanation for how neural networks can be so successful in seemingly symbolic domains, potentially reconciling longstanding symbolic conceptions of intelligence with the vector-based nature of modern AI. 11/n

🤖🧠NEW PAPER🧠🤖 (The result of an 8-year project!) LLMs seem very different from symbolic systems. Yet LLMs excel in symbolic domains (e.g., language/code/math). How do they do it? Our finding: LLM representations have implicit symbolic structure! Link in thread ⬇️ 1/n

View full thread

DISCOVER enables us to edit an LLM's internal representations in targeted ways that are then appropriately reflected in changes in the output. The edits that we make would typically be challenging to do in a vector encoding, but they're straightforward w/ a symbolic encoding 9/n

In most cases, DISCOVER also generalizes out-of-distribution to filler-role combinations that it did not encounter during training. E.g., if the word "doctor" never occurred as the subject of a sentence, it can generalize to sentences with "doctor" as the subject. 10/n

🤖🧠NEW PAPER🧠🤖 (The result of an 8-year project!) LLMs seem very different from symbolic systems. Yet LLMs excel in symbolic domains (e.g., language/code/math). How do they do it? Our finding: LLM representations have implicit symbolic structure! Link in thread ⬇️ 1/n

View full thread

Given appropriate choices for the type of symbols used by the TPR, the approximation produces high accuracy in all networks we consider: The network continues to produce the right answer when fed the TPR rather than its own actual encoding. 7/n

We refer to this method as DISCOVER (short for DISsecting COmpositionality in VEctor Representations). The official mascot of DISCOVER is the tapir (pictured below), because the word TAPIR is what results from interleaving "TPR" with "AI" 8/n

🤖🧠NEW PAPER🧠🤖 (The result of an 8-year project!) LLMs seem very different from symbolic systems. Yet LLMs excel in symbolic domains (e.g., language/code/math). How do they do it? Our finding: LLM representations have implicit symbolic structure! Link in thread ⬇️ 1/n

View full thread

We analyze a network by approximating its representations w/ a TPR. We then feed the TPR approximation into the network & see if it still produces the right answer - replacing the network's entire representation-generating process with a simple, closed-form TPR equation. 5/n

🤖🧠NEW PAPER🧠🤖 (The result of an 8-year project!) LLMs seem very different from symbolic systems. Yet LLMs excel in symbolic domains (e.g., language/code/math). How do they do it? Our finding: LLM representations have implicit symbolic structure! Link in thread ⬇️ 1/n

View full thread

Our hypothesis: The networks succeed on these tasks by implicitly building symbolic structure in vector space. What makes this hypothesis testable is the Tensor Product Representation (TPR) formalism, a proposal for how symbolic structure could be realized in vectors. 3/n

The TPR formalism was introduced by Smolensky (1987) at the 1st NeurIPS. Shortly after, in 1990, he hypothesized that, if the field could ever create neural networks that can process language, they might do so via implicit TPR structure. Our work tests that hypothesis! 4/n

🤖🧠NEW PAPER🧠🤖 (The result of an 8-year project!) LLMs seem very different from symbolic systems. Yet LLMs excel in symbolic domains (e.g., language/code/math). How do they do it? Our finding: LLM representations have implicit symbolic structure! Link in thread ⬇️ 1/n

Tom McCoy reposted

Come be my colleague! Yale's Wu Tsai Institute is hiring for a position in neurocognition.

Applications are open for a junior faculty position in neurocognition @yale.edu. We invite exceptional candidates investigating cognition to apply by October 15, 2026. Learn more: wti.yale.edu/opportunities/faculty-neurocognition Apply: apply.interfolio.com/189343 #KnowTogether #ScienceAtYale

Since many are starting grad school soon, let me re-share my One Big Tip™️ for research! Research involves many skills - collaborating, writing, presenting, etc. But many of these skills can be unified under a single overarching ability: theory of mind Blog post link in reply

Speaking of poetry hidden in plain sight, everyone should read Anne Cutler's paper on the subject. Absolutely mind-blowing. (link and quote in reply ⬇️)

Tom McCoy@rtommccoy.bsky.social

Just found an Easter egg on Wikipedia! On the page for double dactyls (a type of poem), there's a sentence that's formatted as a normal line of text, but it's actually a stanza of double dactyl poetry! And... THE PLOT THICKENS! 1/2

Quote summarizing the paper: "For if rhythm is so integral a part of our audition, then it ought to be the case that it is hard to overlook; but the most pronounced of rhythms can escape our recognition when they're reproduced in printing in an article or book."

Just found an Easter egg on Wikipedia! On the page for double dactyls (a type of poem), there's a sentence that's formatted as a normal line of text, but it's actually a stanza of double dactyl poetry! And... THE PLOT THICKENS! 1/2

I looked at the edit history, and when this sentence was added to the page, it originally came with a note. The line of text plus the note form a complete double dactyl poem! At some point an editor removed the note, leaving the more subtle half-poem that remains. 2/2