 |
Research | |
|
Research | |
My work is on natural language generation from formal mathematics proofs, specifically those produced by the Nuprl system. As the first step in this project, I developed a study to examine how people translate formal proofs created by Nuprl to English proofs. This study was administered via the web and is still available on-line.We have an initial version of the system running based on our findings from this study.
My advisors on this project are Robert Constable and Claire Cardie and I am a member of the Nuprl research group. The libraries of formal mathematics that we generate text from are available on the Nuprl group page, as well as information on other projects going on within the group.
Sample Results
Texts generated automatically by our system (as described in the AAAI99 paper below) are available here.
Papers
Amanda M. Holland-Minkley, Regina Barzilay, and Robert Constable. Verbalization of High-Level Formal Proofs. Sixteenth National Conference on Artificial Intelligence (to appear) (postscript)
Informal Writing and Presentations
"Generating Text from High-Level Formal Proofs", Second Annual Graduate Conference of the Northeastern Cognitive Science Society (NECCS), University of Pennsylvania, April 30-May 1, 1999
"Verbalization of High-Level Formal Proofs", Prl Seminar, Cornell University, February 1, 1999
Informal Discussion of the Motivation of the Project of Generating Text from Nuprl Proofs, Fall 1998
Informal Discussion of the Study to Create a Corpus of Human-Generated Texts, Fall 1998
Related Web Pages
Natural Language Generation/Processing
The Computation and Language E-Print Archive: papers on computational linguistics, natural-language processing, speech processing and related fields from 1994 to present
Relevant Conferences and Organizations
General Computer Science Resources
Collection of Computer Science Bibliographies: searchable archive of BibTeX for tons of computer science articles and books, culled from over 1000 different bibliographies
Common Lisp: The Language, 2nd Edition: on-line version of book by Guy L. Steele Jr.
Lecture Notes in Computer Science WWW-Database: covers volumes 500 to the present; has bibliographic information and abstracts