claim
Logical Neural Networks (LNN) can simultaneously perform multiple logical reasoning tasks, such as theorem proving and fact derivation, unlike traditional single-task neural networks.

Authors

Sources

Referenced by nodes (3)