NAVER is a neuro-symbolic pipeline that uses a finite-state automaton with self-correction and probabilistic logic (ProbLog/Scallop) to ground referring expressions, achieving state-of-the-art accuracy on RefCOCO, RefCOCO+, RefCOCOg, and Ref-Adv.
UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathemat- ical Expression
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.CV 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
support 1representative citing papers
citing papers explorer
-
NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning
NAVER is a neuro-symbolic pipeline that uses a finite-state automaton with self-correction and probabilistic logic (ProbLog/Scallop) to ground referring expressions, achieving state-of-the-art accuracy on RefCOCO, RefCOCO+, RefCOCOg, and Ref-Adv.