Modeling Next-Token Prediction as Left-Nested Intuitionistic Implication

Paul Tarau

We introduce the \emph{Arrow Language Model}, a neural architecture derived from an intuitionistic-logic interpretation of next-token prediction. Instead of representing tokens as…