Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
All Papers
0 / 0 papers shown
Title
Home
Papers
2505.16998
Cited By
Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?
22 May 2025
Jin Jiang
Jianing Wang
Yuchen Yan
Yang Liu
J. Zhu
Mengdi Zhang
Xunliang Cai
Liangcai Gao
ELM
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
HuggingFace (2 upvotes)
Papers citing
"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?"
3 / 3 papers shown
Title
The Geometry of Reasoning: Flowing Logics in Representation Space
Yufa Zhou
Yixiao Wang
Xunjian Yin
Shuyan Zhou
Anru R. Zhang
LRM
AI4CE
108
1
0
10 Oct 2025
Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition
Lei Xu
Pierre Beckmann
Marco Valentino
André Freitas
LRM
AI4CE
109
0
0
08 Oct 2025
Introducing LongCat-Flash-Thinking: A Technical Report
M-A-P Team
Anchun Gui
Bei Li
Bingyang Tao
Bole Zhou
...
Xuezhi Cao
Xunliang Cai
Y. Zhang
Yang Chen
Yang Liu
LRM
VLM
ReLM
MoE
198
1
0
23 Sep 2025
1