The field that has been doing this is called Program Synthesis. Here’s an example survey: https://www.microsoft.com/en-us/research/publication/program-synthesi

The field that has been doing this is called Program Synthesis. Here’s an example survey: https://www.microsoft.com/en-us/research/publication/program-synthesis/ https://www.microsoft.com/en-us/research/publication/program... I’ve wanted to see the traditional techniques combined with modern ML to sort of drive the search and generation process. Then, we’d still have the advantages of both formal specifications and classic AI (esp traceability). While looking for a synthesis link, I stumbled onto one paper trying to mix the two approaches: https://ojs.aaai.org/index.php/AAAI/article/download/5048/4921 https://ojs.aaai.org/index.php/AAAI/article/download/5048/49...