claim
Integrating formal logic with learnable embeddings allows models to perform probabilistic knowledge completion by filling in gaps in knowledge graphs while adhering to logical constraints.
Authors
Sources
- A Comprehensive Review of Neuro-symbolic AI for Robustness ... link.springer.com via serper
Referenced by nodes (2)
- knowledge graphs concept
- formal logic concept