Natural Language Translation of Formal Proofs through Informalization of Proof Steps and Recursive Summarization along Proof Structure.

Seiji Hattori, Takuya Matsuzaki, Makoto Fujiwara

Browse the full INLG paper archive.