1 paper · 1 filter
Zhengqing Zang, Yuqi Ding, Yanmei Gu +5
Human logic has gradually shifted from intuition-driven inference to rigorous formal systems. Motivated by recent advances in large language models (LLMs), we explore whether LLMs…