Verbalization of High-Level Formal Proofs

Amanda M. Holland-Minkley, Regina Barzilay, Robert L. Constable

AAAI 1999 pp. 277-284

/aaai/1999/hollandminkley1999aaai-verbalization/

Cite

Text

Holland-Minkley et al. "Verbalization of High-Level Formal Proofs." AAAI Conference on Artificial Intelligence, 1999.

Markdown

[Holland-Minkley et al. "Verbalization of High-Level Formal Proofs." AAAI Conference on Artificial Intelligence, 1999.](https://mlanthology.org/aaai/1999/hollandminkley1999aaai-verbalization/)

BibTeX

@inproceedings{hollandminkley1999aaai-verbalization,
  title     = {{Verbalization of High-Level Formal Proofs}},
  author    = {Holland-Minkley, Amanda M. and Barzilay, Regina and Constable, Robert L.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1999},
  pages     = {277-284},
  url       = {https://mlanthology.org/aaai/1999/hollandminkley1999aaai-verbalization/}
}