Cita APA (7a ed.)

Cabral, R., Do, T. M., Yu, X., Tai, W. M., Feng, Z., & Shen, X. (2025). ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization.

Cita Chicago Style (17a ed.)

Cabral, Rafael, Tuan Manh Do, Xuejun Yu, Wai Ming Tai, Zijin Feng, y Xin Shen. ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization. 2025.

Cita MLA (9a ed.)

Cabral, Rafael, et al. ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization. 2025.