procedure
Symbolic reasoners in neuro-symbolic systems can verify neural network predictions against symbolic knowledge bases or logical constraints, allowing the system to flag unreliable outputs or correct predictions based on logical rules.

Authors

Sources

Referenced by nodes (2)