The Differentiable Fuzzy Inference Layer (DFIL), a dual-path prediction head pairing a standard classifier with a scalar-bottlenecked branch grounded in a bank of ordered membership functions, is introduced.
Abstract
A state-of-the-art language model asked to interpret"most of most students passed"typically answers"most,"though composing two instances of"most"yields a proportion closer to"some."We trace this failure to an architectural choice rather than a data deficit: standard classifier heads treat ordinal categories as independent labels, with no mechanism to respect their natural ordering or compose them algebraically. We introduce the Differentiable Fuzzy Inference Layer (DFIL), a dual-path prediction head pairing a standard classifier with a scalar-bottlenecked branch grounded in a bank of ordered membership functions. DFIL supplies two structural primitives that a label-only head cannot inherit: monotonicity in the underlying quantity, and compositional reasoning via t-norm operations without any compositional training data. The scalar branch additionally provides an interpretable interface for analyzing residual errors. We instantiate DFIL on ordinal natural-language tasks across diverse LLM families.
STRAT is introduced, which partitions the residual stream into orthogonal Data and Type subspaces and uses Type-based attention and gating to govern Data transformations and in arithmetic, STRAT reduces median OOD error 35-fold relative to a Transformer baseline.
Cristina V. Lopes, Yuan-Gang Li, Justin Tian Jin Chen et al.· 0 citations
The Deterministic Operator-Driven Reasoning in Latent Space architecture (DODR) is proposed, which reconstructs reasoning as reasoning-graph computation in a high-dimensional linear-algebraic space and proves that reasoning graphs are Turing-complete with contractive backflow converging by Banach's fixed-point theorem.
A multi-stage rule-chaining framework that performs compositional reasoning across symbolic, structural, and conceptual levels and suggests that rule chaining and hierarchical composition can advance machine reasoning toward transparent, human-aligned abstraction without relying on task-specific tuning.
It is argued that emergent reasoning in LLMs is a product of three factors: model size, prompting approach, and evaluation metric, and proposed implications for designing benchmarks and assessing capabilities are proposed.
N. Kuotsu· International Journal of Cre...· 0 citations
A hybrid LLM-guided Bayesian network structure-learning framework that uses LLMs as bounded semantic guides, and shows that language-derived semantic knowledge can substantially improve scalable probabilistic structure learning when used as bounded guidance within a statistically grounded reasoning pipeline.
Jackson Hassell, Chen Shen, Estevam Hruschka· 0 citations
Large language models have shifted AI toward statistical learning, but knowledge-based methods remain essential for tasks governed by combinatorial structure, declarative correctness, strong domain priors, and auditable reasoning. This paper treats the issue as one of task–architecture fit rather than paradigm competit...
Maikel Leon· WSEAS Transactions on System...· 0 citations
Related blog posts
MIT News · Artificial Intelligence· news.mit.eduOct 15, 2026
A new computational approach reveals how cells communicate to assemble into tissues. This could accelerate stem cell engineering, improve disease models, and inform therapies.
Microsoft Research Blog· microsoft.comOct 15, 2026
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.
MIT News · Artificial Intelligence· news.mit.eduSep 24, 2026