We describe a symbolic program synthesis system which works as a “statistical
algorithm compiler:” it compiles a statistical model specification into a custom algorithm
design and from that further down into a working program implementing the algorithm
design