@misc{indiciaef761d18812bc,
  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},
  url = {https://arxiv.org/abs/2502.06563},
  note = {Source identifier: 2502.06563}
}