Yuanjun Laili

Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation

2025 · arXiv (Cornell University)

First-order logic (FOL) reasoning, which involves sequential deduction, is pivotal for intelligent systems and serves as a valuable task for evaluating reasoning capabilities, particularly in chain-of-thought (CoT) contexts. Existing benchmarks often rely on extensive human …