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.