Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?

Jin Jiang, Jianing Wang,Yuchen Yan, Yang Liu, Jianhua Zhu,Mengdi Zhang, Xunliang Cai,Liangcai Gao

arxiv（2025）

Cited 0|Views0

AI Read Science

Must-Reading Tree

Example

Generate MRT to find the research sequence of this paper

Chat Paper

Summary is being generated by the instructions you defined