We presented Logically Consistent Language Models via Neuro-Symbolic Integration as a full paper @ ICLR 2025!