Automatic Inference for Inverting Software Simulators via Probabilistic Programming | Read Paper on Bytez