Citazione Stile APA (7a Edizione)

Liu, Q., Zheng, X., Xia, R., Qi, X., Cao, Q., & Yan, J. (2025). Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving.

Citazione stile Chigago Style (17a edizione)

Liu, Qi, Xinhao Zheng, Renqiu Xia, Xingzhi Qi, Qinxiang Cao, e Junchi Yan. Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving. 2025.

Citatione MLA (9a ed.)

Liu, Qi, et al. Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving. 2025.