no code implementations • 14 Aug 2022 • Haoyuan He, WangZhou Dai, Ming Li
Integrating logical reasoning and machine learning by approximating logical inference with differentiable operators is a widely used technique in Neuro-Symbolic systems.
Logical Reasoning