Cite
Notes
Only stored in your browser.
Attribution
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation
arXiv 2025
An Investigation of LLMs' Inefficacy in Understanding Converse Relations
arXiv 2023
from 2 papers
Binyuan Hui
Bowen Li
Chengwen Qi
Jinwang Wu
Bailin Wang
Conghui He
He Du
Jinyang Li
Ren Ma