DARPA threw some money into the problem, and stuff advanced from toy problems to things that are still small but often useful. See e.g. pyro.ai is already work

DARPA threw some money into the problem, and stuff advanced from toy problems to things that are still small but often useful. See e.g. pyro.ai is already working on non-trivial datasets. Ultimately, I'm convinced it's a hard compilers / static analysis / abstract interpretation problem. That requires lots of resources and a decade or two of work.