Neural Network Synthesis

In the future we're going to be using neural networks for like the high-level sketch, right? Kind of generates kind of the program. And then we're gonna use these low-level techniques that are kind of correct by construction to really repair the program and come up with the correct program. So I think in the next five, ten years we'll be able to integrate these and, you know, kind of, yeah, I want to say revolutionized programming, right?