mlsanityData to 7 Oct 2026

NSFL: A Post-Training Neuro-Symbolic Fuzzy Logic Framework for Boolean Operators in Neural Embeddings

arXiv 2604.10604 ↗First posted 12 Apr 2026cs.IR cs.AI cs.CLcited by 1

Not on the map. Why?

Abstract (arXiv)

Standard dense retrievers lack a native calculus for multi-atom logical constraints. We introduce Neuro-Symbolic Fuzzy Logic (NSFL), a framework that adapts formal t-norms and t-conorms to neural embedding spaces without requiring retraining. NSFL operates as a first-order hybrid calculus: it anchors logical operations on isolated zero-order similarity scores while actively steering representations using Neuro-Symbolic Deltas (NS-Delta) -- the first-order marginal differences derived from contextual fusion. This preserves pure atomic meaning while capturing domain reliance, preventing the representation collapse and manifold escape endemic to traditional geometric baselines. For scalable real-time retrieval, Spherical Query Optimization (SQO) leverages Riemannian optimization to project these fuzzy formulas into manifold-stable query vectors. Validated across six distinct encoder configurations and two modalities (including zero-shot and SOTA fine-tuned models), NSFL yields mAP improvements up to +81%. Notably, NSFL provides an additive 20% average and up to 47% boost even when applied to encoders explicitly fine-tuned for logical reasoning. By establishing a training-free, order-aware calculus for high-dimensional spaces, this framework lays the foundation for future dynamic scaling and learned manifold logic.

Key facts. Cited by 1 paper in the map (data through 7 Oct 2026). Builds on 23 of its 45 references that are in the map. First posted on arXiv 12 Apr 2026.

Builds on

23 of 45 references.

References · 23

  1. 2021Learning Transferable Visual Models From Natural Language Supervisioncited by 33,456
  2. 2014Microsoft COCO: Common Objects in Contextcited by 17,498
  3. 2023Sigmoid Loss for Language Image Pre-Trainingcited by 3,048
  4. 2021Did Aristotle Use a Laptop? A Question Answering Benchmark with Implicit Reasoning Strategiescited by 736
  5. 2022When and why vision-language models behave like bags-of-words, and what to do about it?cited by 603
  6. 2022Winoground: Probing Vision and Language Models for Visio-Linguistic Compositionalitycited by 523
  7. 2019Neural Probabilistic Logic Programming in DeepProbLogcited by 389
  8. 2019The Neuro-Symbolic Concept Learner: Interpreting Scenes, Words, and Sentences From Natural Supervisioncited by 369
  9. 2020Neurosymbolic AI: The 3rd Wavecited by 253
  10. 2019Negated and Misprimed Probes for Pretrained Language Models: Birds Can Talk, But Cannot Flycited by 240
  11. 2020Logic Tensor Networkscited by 197
  12. 2020Query2box: Reasoning over Knowledge Graphs in Vector Space using Box Embeddingscited by 169
11 more
  1. 2017End-to-End Differentiable Provingcited by 159
  2. 2020Beta Embeddings for Multi-Hop Logical Reasoning in Knowledge Graphscited by 128
  3. 2018Embedding Logical Queries on Knowledge Graphscited by 120
  4. 2025On the Theoretical Limitations of Embedding-Based Retrievalcited by 98
  5. 2019A Deep Look into Neural Ranking Models for Information Retrievalcited by 79
  6. 2021ConE: Cone Embeddings for Multi-Hop Reasoning over Knowledge Graphscited by 78
  7. 2023QUEST: A Retrieval Dataset of Entity-Seeking Queries with Implicit Set Operationscited by 30
  8. 2023NevIR: Negation in Neural Information Retrievalcited by 28
  9. 2021Probabilistic Box Embeddings for Uncertain Knowledge Graph Reasoningcited by 22
  10. 2025LogiCoL: Logically-Informed Contrastive Learning for Set-based Dense Retrievalcited by 3
  11. 2026Few Shots Text to Image Retrieval: New Benchmarking Dataset and Optimization Methodscited by 1

Built on by

Cited by year (2026 to 7 Oct)

Citing papers per year: 2026: 1.

1 paper.

Similar, not cited

Close in wording, no citation either way

  1. 2022Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
  2. 2022Differentiable Fuzzy ALC: A Neural-Symbolic Representation Language for Symbol Grounding
  3. 2022NeuPSL: Neural Probabilistic Soft Logic
  4. 2026Differentiable Logic Programming to Mitigate Reasoning Shortcuts in Neurosymbolic Systems
  5. 2026Gram-Space: Structure-Preserving Codebook Compression for Memory-Efficient Neuro-Symbolic AI
  6. 2026The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data
  7. 2026Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic
  8. 2023Extensions to Generalized Annotated Logic and an Equivalent Neural Architecture