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

Browse the full ICLR paper archive.