@misc{indiciae935a42432a73,
  title = {Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?},
  author = {Jin Jiang and Jianing Wang and Yuchen Yan and Yang Liu and Jianhua Zhu and Mengdi Zhang and Xunliang Cai and Liangcai Gao},
  year = {2025},
  url = {https://arxiv.org/abs/2505.16998},
  note = {Source identifier: 2505.16998}
}