Verbalization of High-Level Formal Proofs.

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

Published in: AAAI/IAAI (1999)

Keyphrases

feature selection
formal proofs
high level
low level
low level features
higher level
lower level
programming language
neural network
computer vision
web services
data structure
expert systems
object level