This isn't about automating model generation, which is an old goal of many, but of DARPA's involvement in it and the start of a new program to encourage work in

This isn't about automating model generation, which is an old goal of many, but of DARPA's involvement in it and the start of a new program to encourage work in this area.