program synthesis with neuro-symbolic differentiable interpreters - View it on GitHub