activity
20182026
most citedLearning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning

8 citations · 12 across the 5 of their papers we have counts for

collaborators
Showing cs.IRShow all

1 paper · 1 filter

cs.IR2026

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

Vladi Vexler, Ofer Idan, Gil Lederman +1

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-co…