Writing this post-hoc. Apparently today I wrote a long-ass summary of progress on the very lazy evaluation project so far (which I’ve been thinking of as “probabilistic abstractions”). This includes the notion of a probabilistic abstraction, of a -system, of a valid abstraction of a function, and also efficiently algorithms for subsampling -systems that are tree-structured, as well as a criterion for the optimal choice of which to include among a collection of random variables, if we can only include a limited number of them (it turns out the answer is to take the ones with minimum marginal entropy).

### Like this:

Like Loading...

*Related*