Empowering LLMs with Logical Reasoning: A Comprehensive Survey. - Fengxiang Cheng; Haoxuan Li; Fenrong Liu; Robert van Rooij; Kun Zhang; Zhouchen Lin (CoRR, 2025)