A systematic comparison finds that differentiable neurosymbolic systems offer better assurance mainly in arithmetic-like reasoning tasks, not across the board, and interpretable shortcuts can increase adversarial risk.
Neurosymbolic reinforce- ment learning with formally verified exploration
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.AI 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms
A systematic comparison finds that differentiable neurosymbolic systems offer better assurance mainly in arithmetic-like reasoning tasks, not across the board, and interpretable shortcuts can increase adversarial risk.