Proof Verbalization as an Application of NLG.

Xiaorong Huang, Armin Fiedler

Browse the full IJCAI paper archive.