# Learning to Represent Programs with Property Signatures

Augustus OdenaCharles Sutton

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 $\tau_{in}$ and output type $\tau_{out}$, a property is a function of type: $(\tau_{in}, \tau_{out}) \rightarrow \texttt{Bool}$ that (informally) describes some simple property of the function under consideration... (read more)

PDF Abstract

# Code Add Remove

No code implementations yet. Submit your code now