VFR-LLM combines small LLMs with symbolic verification and solving to reach 0.983 and 0.933 accuracy on precedence and logical deduction tasks using one model call versus lower results from self-consistency baselines.
TinyNS: Platform-aware neurosymbolic auto tiny machine learning.ACM Transactions on Embedded Computing Systems, 23(3):43, 2024
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Resource-Aware Neuro-Symbolic Reasoning for Local Small Language Models
VFR-LLM combines small LLMs with symbolic verification and solving to reach 0.983 and 0.933 accuracy on precedence and logical deduction tasks using one model call versus lower results from self-consistency baselines.