Cabral, Rafael Medeiros

1 publications

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