Logically Consistent Language Models via Neuro-Symbolic Integration - Calanzone, Diego; Teso, Stefano; Vergari, Antonio (International Conference on Learning Representations, 2025)