ML Anthology
Authors
Search
About
Do, Tuan Manh
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