APA-Zitierstil (7. Ausg.)

Li, G., Tian, R., & Wang, H. (2026). Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs.

Chicago-Zitierstil (17. Ausg.)

Li, Guchan, Rui Tian, und Hongning Wang. Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs. 2026.

MLA-Zitierstil (9. Ausg.)

Li, Guchan, et al. Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs. 2026.