Mitigating Reasoning Shortcuts via Differentiable Logic Programming

A new neurosymbolic method uses matrix-based differentiable logic programming to prevent models from using shortcuts in constraint satisfaction and concept mapping. Testing on MNIST variants shows improved semantic accuracy and better gradient flow compared to traditional approaches.