Well, as part of the probabilistic programming community, I can at least report that inference programming and model synthesis are problems we're actively worki

Well, as part of the probabilistic programming community, I can at least report that inference programming and model synthesis are problems we're actively working on!