Augustus Odena, Charles Sutton. Learning to Represent Programs with Property Signatures. In 8th International Conference on Learning Representations, ICLR 2020, Addis Ababa, Ethiopia, April 26-30, 2020. OpenReview.net, 2020. [doi]
Abstract is missing.