Internalizing Tools as Morphisms in Graded Transformers
Not on the map. Why?
Abstract (arXiv)
We introduce a graded formulation of internal symbolic computation for transformers. The hidden space is endowed with a grading V=bigoplusg∈ GVg, and symbolic operations are realized as typed block maps (morphisms) φhleftarrow g:Vg→ Vh that are activated selectively by a differentiable routing policy. A self-supervised graded utility functional, defined as the loss reduction induced by a candidate morphism, governs activation and yields sparse, interpretable behavior. We develop the algebraic and geometric foundations: an internal model category whose objects are homogeneous components and whose morphisms are admissible grade transitions; adjoint pairs encoding typed round trips; and information-geometric interpretations in terms of KL gain, mirror descent with Bregman divergences, and Fisher natural gradients. Methodologically, we specify a utility--aware routing mechanism and objective that remain fully end-to-end differentiable. Analytic case studies and lightweight sanity checks illustrate selective morphic activation on hybrid symbolic-linguistic tasks. The framework unifies symbolic computation, geometry, and self--supervised learning within the graded transformer formalism citesh-89,sh-95, while subsuming prior external-tool paradigms (e.g., Toolformer citetoolformer2023) as a special case via functorial internalization.
Key facts. Cited by 1 paper in the map (data through 7 Oct 2026). Builds on 4 of its 16 references that are in the map. First posted on arXiv 21 Nov 2025.
Builds on
4 of 16 references.
References · 4
- 2017Outrageously Large Neural Networks: The Sparsely-Gated Mixture-of-Experts Layercited by 3,413
- 2019Monte Carlo Gradient Estimation in Machine Learningcited by 281
- 2025Graded Neural Networkscited by 4
- 2025Galois groups of polynomials and neurosymbolic networkscited by 3
Built on by
Citing papers per year: 2026: 1.
1 paper.
- 2026Hierarchical Grading in Large Language Modelscited by 0
- 2026Hierarchical Grading in Large Language Models23 Jul 2026