In order to search that space you have to have a specification language for the behavior of the target program. Things like copilot/GPT-3 currently take natural

In order to search that space you have to have a specification language for the behavior of the target program. Things like copilot/GPT-3 currently take natural language as input, but that cannot be used for anything that needs to be verifiable or have correctness. Maybe start by having the nets generate implementations of the IETF RFCs in a variety of languages given the text of the RFC as input? Not easy.