APA-Zitierstil (7. Ausg.)

Hu, X., Zhou, Q., Grechuk, B., & Tyukin, I. Y. (2025). StepProof: Step-by-step verification of natural language mathematical proofs.

Chicago-Zitierstil (17. Ausg.)

Hu, Xiaolin, Qinghua Zhou, Bogdan Grechuk, und Ivan Y. Tyukin. StepProof: Step-by-step Verification of Natural Language Mathematical Proofs. 2025.

MLA-Zitierstil (9. Ausg.)

Hu, Xiaolin, et al. StepProof: Step-by-step Verification of Natural Language Mathematical Proofs. 2025.