It might be possible to constrain values that are not themselves draws from a primitive or module, but are instead the result of a deterministic differentiable function of other random choices. This is related to Adam Scibor's work and Jacobians.
This is not essential in the short-term but would simplify the computing model, and might make interesting use of the automatic differentiation.
It might be possible to constrain values that are not themselves draws from a primitive or module, but are instead the result of a deterministic differentiable function of other random choices. This is related to Adam Scibor's work and Jacobians.
This is not essential in the short-term but would simplify the computing model, and might make interesting use of the automatic differentiation.