US20230419085A1 - METHODS AND SYSTEMS FOR AUTOMATIC DIFFERENTIATION OF DISCRETE AND DISCRETE-CONTINUOUS STOCHASTIC PROGRAMS