Compiling Programs Into Attention
The procedural cousin of type-safe attention, and what it
The Structure of Clear Thinking
Building an Auditable AI: A Complete Walkthrough
Published: April 6, 2026 · Dev preview — pending ICLR 2027 submission
From Proofs to Programs to... Text?
Published: April 6, 2026 · Dev preview — pending ICLR 2027 submission
Attention, But Make It Type-Safe
Dev preview — workshop submission pending. Part 2 of the Structure
Why Your LLM Hallucinates (And How Category Theory Can Help)
Published: April 6, 2026 · Dev preview — pending EMNLP 2026 submission