Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation - Qi, Chengwen; Ma, Ren; Li, Bowen; du, he; Hui, Binyuan; Wu, Jinwang; Laili, Yuanjun; He, Conghui (International Conference on Learning Representations, 2025)