ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization - Cabral, Rafael; Manh, Tuan; Yu, Xuejun; Tai, Wai Ming; Feng, Zijin; Xin, Shen (International Conference on Learning Representations, 2026)