Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning

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. However, s…