Comment by nimski

This is what we're doing. I think it's not only possible, but also necessary for applications beyond trial-and-error generation.