claim
Research frameworks such as DeepProbLog, Neural Theorem Provers, Logic Tensor Networks, and Scallop enable the embedding of logical inference into end-to-end neural network learning by making symbolic reasoning differentiable.
Authors
Sources
- A Comprehensive Review of Neuro-symbolic AI for Robustness ... link.springer.com via serper
Referenced by nodes (3)
- symbolic reasoning concept
- Logic Tensor Networks concept
- logical inference concept