Formalization

Breadth vs Validity in Language Generation Project (based on the paper joint with Jon Kleinberg)