TY  - RPRT
TI  - Natural Language Translation of Formal Proofs through Informalization of Proof Steps and Recursive Summarization along Proof Structure
AU  - Seiji Hattori
AU  - Takuya Matsuzaki
AU  - Makoto Fujiwara
PY  - 2025
UR  - https://arxiv.org/abs/2509.09726
ID  - 2509.09726
ER  -