Mainly adds a 'dense scoring' feature, which scores all internal random choices in a probabilistic program, and stores this score in a separate internal_score value in the program state. This feature was needed for a simple version of backpropagation through stochastic nodes for https://github.com/probcomp/pps2018-proposals.
Mainly adds a 'dense scoring' feature, which scores all internal random choices in a probabilistic program, and stores this score in a separate
internal_score
value in the program state. This feature was needed for a simple version of backpropagation through stochastic nodes for https://github.com/probcomp/pps2018-proposals.