Proof Verbalization as an Application of NLG.

Xiaorong Huang Armin Fiedler

Published in: IJCAI (2) (1997)

Keyphrases

natural language generation
natural language
theorem proving
multiscale
learning algorithm
video sequences
cooperative
computational complexity
natural language processing
mathematical proofs