APA (7th ed.) Citation

Qi, C., Ma, R., Li, B., Du, H., Hui, B., Wu, J., . . . He, C. (2025). Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation.

Chicago Style (17th ed.) Citation

Qi, Chengwen, Ren Ma, Bowen Li, He Du, Binyuan Hui, Jinwang Wu, Yuanjun Laili, and Conghui He. Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation. 2025.

MLA (9th ed.) Citation

Qi, Chengwen, et al. Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation. 2025.