Learning to Represent Programs with Property Signatures — mentioned by tasdfqwer0897

Tue, 26 May 2020 19:17:32 GMT

We have been working on this recently on the Google Brain team. We are working both on synthesizing programs from scratch (see https://arxiv.org/abs/2002.09030 for example) and on understanding computer programs using machine learning (see e.g. https://arxiv.org/abs/1911.01205). I'm always happy to correspond with people about these topics.

Paper and discussion history. A mention is not an endorsement.

Learning to Represent Programs with Property Signatures · HackerPapers discussions

Learning to Represent Programs with Property Signatures — mentioned by tasdfqwer0897