@misc{indiciaecaac828a6430,
  title = {ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization},
  author = {Rafael Cabral and Tuan Manh Do and Xuejun Yu and Wai Ming Tai and Zijin Feng and Xin Shen},
  year = {2025},
  url = {https://arxiv.org/abs/2510.15981},
  note = {Source identifier: 2510.15981}
}