2 papers
cs.CL2025
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation
Chengwen Qi, Ren Ma, Bowen Li +5
First-order logic (FOL) reasoning, which involves sequential deduction, is pivotal for intelligent systems and serves as a valuable task for evaluating reasoning capabilities, part…
cs.CL2023
An Investigation of LLMs' Inefficacy in Understanding Converse Relations
Chengwen Qi, Bowen Li, Binyuan Hui +4
Large Language Models (LLMs) have achieved remarkable success in many formal language oriented tasks, such as structural data-to-text and semantic parsing. However current benchmar…