Nuprl Verbalization Data

• Corpus of semantic data (Nuprl steps) and corresponding verbalizations
• Induced paraphrase thesaurus (contains Nuprl non-human-readable characters)
• Data used for the readability and fidelity experiments (verbalizations produced by two systems on 20 Nuprl proofs from the test set)

• Regina Barzilay and Lillian Lee, Bootstrapping Lexical Choice via Multiple-Sequence Alignment. Proceedings of EMNLP 2002. (abstract/BibTeX, ps, pdf)
• Stephen Chong, Word Alignment of Proof Verbalizations Using Generative Statistical Models. Cornell CS Technical Report TR2002-1864, 2002. (ps, pdf)
• Amanda M. Holland-Minkley, Regina Barzilay, and Robert Constable, Verbalization of High-Level Formal Proofs. Proceedings of the 16th AAAI, 1999. (.ps, generation examples).

This paper is based upon work supported in part by the National Science Foundation under ITR/IM grant IIS-0081334 and a Louis Morin scholarship. Any opinions, findings, and conclusions or recommendations expressed above are those of the authors and do not necessarily reflect the views of the National Science Foundation.

NLP at Cornell
The Nuprl project