Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
The paper introduces Neuro-Symbolic Fuzzy Logic (NSFL), a post-training framework that enables dense retrievers to handle multi-atom logical constraints by adapting formal t-norms and t-conorms to neural embedding spaces. NSFL uses Neuro-Symbolic Deltas (NS-Delta) to steer representations based on contextual fusion, preserving atomic meaning and preventing representation collapse. Spherical Query Optimization (SQO) then projects these fuzzy formulas into manifold-stable query vectors for scalable retrieval, achieving significant mAP improvements across various encoders and modalities, even outperforming models fine-tuned for logical reasoning.
Forget retraining: this post-hoc framework boosts dense retriever mAP by up to 81% by injecting neuro-symbolic fuzzy logic directly into embedding spaces.
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.