Laili, Yuanjun

1 publications

ICLR 2025 Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation Chengwen Qi, Ren Ma, Bowen Li, He Du, Binyuan Hui, Jinwang Wu, Yuanjun Laili, Conghui He