Do we have a neuro-symbolic LM yet?

Ok a few quick things. Most CS students who get into elite PhD programs in AI especially have already usually published multiple first author papers in "top" conferences. 1/

There was a time that "not knowing enough git" was a problem of mine. Happily, AI solved that for me!

Yet the "illusion of thinking" remains 🌝

A bloody one here 🥲

If you think reasoning is just generating intermediate tokens you don't know what reasoning is.

BREAKING NEWS! Most people aren’t prompting models with IMO problems :) They’re prompting with tasks that need more context, like “plz make talk slides.” In an ACL oral, I’ll cover challenges in human-LM grounding (in 60K+ real interactions) & introduce a benchmark: RIFTS. 🧵

Early this morning, have a good one!

Deep learning tricks can only get you so far; learn the structure.

Bragging about results on benchmarks without saying how they were obtained is marketing, not science.

GPT-5 hot take • took almost 3 years, many billions of dollars • good progress on many fronts • but still part of the pack, not a giant leap forward (e.g. Grok 4 beats it on ARC-AGI-2 results) • not the huge leap forward people long expected • lots of questions TBD about

New fastest shortest-path algorithm in 41 years! Tsinghua researchers broke Dijkstra’s 1984 “sorting barrier,” achieving O(m log^(2/3) n) time. This means faster route planning, less traffic, cheaper deliveries, and more efficient networks - and a CS curriculum revamp =)

Thesis unofficial title: Real-time symbolic semantic parsing in the age of stochastic parrots: a cool & painful tale