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

Referenced by nodes (3)