@article{largelanguagemodelsmeetsymbolicprovers,
  title = {Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation},
  author = {Chengwen Qi and Ren Ma and Bowen Li and He Du and Binyuan Hui and Jinwang Wu and Yuanjun Laili and Conghui He},
  year = {2025},
  eprint = {2502.06563},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2502.06563v2},
}