Categorical quantum mechanics; the diagrammatic paradigm my SAT-solving work builds on.
I presented a poster asking how much of a Transformer’s apparent reasoning is actually learned. Indianapolis, August 2026, at a conference where Chomsky’s branch of NLP turned out not to be dead.
Read More Brutus and I Went to IndianapolisA conference split cleanly into Quantum for AI and AI for Quantum, plus an NVIDIA roadshow aimed squarely at midwestern researchers. Indiana University Bloomington, 2025.
Read More Two Tracks in the House That Halmos Built