Augustus Odena

Learning to Represent Programs with Property Signatures

2020 · arXiv (Cornell University)

We introduce the notion of property signatures, a representation for programs and program specifications meant for consumption by machine learning algorithms. Given a function with input type $τ_{in}$ and output type $τ_{out}$, a property is …