TY  - RPRT
TI  - Translating Informal Proofs into Formal Proofs Using a Chain of States
AU  - Ziyu Wang
AU  - Bowen Yang
AU  - Chenyi Li
AU  - Yuan Zhang
AU  - Shihao Zhou
AU  - Bin Dong
AU  - Zaiwen Wen
PY  - 2025
UR  - https://arxiv.org/abs/2512.10317
ID  - 2512.10317
ER  -