Alex Lew

`ParamUpdate` objects track sets of parameters to update. When a `ParamUpdate` is constructed, the user can manually provide a list of parameters it should track, or the user can pass...

The Gen.nested_view function is currently exported but not discoverable in the docs. (There is a docstring for the ChoiceMapNestedView type, but the type itself is not exported.)

`normal` logpdf should return -Inf when variance is out of bounds

16

This would allow Gaussian drift proposals on variance—they may propose negative values, and it is more helpful to reject the proposed samples than to give an error.

Consider the following SML function: ``` @gen (static) function f() x ~ normal(0, 1) y ~ normal(0, 1) z ~ normal(0, 1) end ``` Each of the six constants (the...

Support ADAM for parameters of generative functions

5

Currently, users can configure an ADAM parameter update, but can only use it on Torch or TensorFlow parameters. We should implement a version of ADAM for the static and dynamic...

The goal is to allow parameters (possibly from different classes) to be transformed before they are used as arguments to distributions. For example, linear combinations of normally-distributed parameters can still...

Performance of Flights model suffers without the subproblem block at https://github.com/probcomp/PClean/commit/f51c9489dda76a6dbfd7c64fc166a5c94b13db7a#diff-2a3b7234fcda10bae8f2e3e677e2add7dc29ea841a266f8a13708c4e57ac069bR14 but it is unclear to me why this should be the case: the flight ID is always observed.

This includes * Runtime + accuracy-over-time measurements against baseline inference algorithms (Figure 6) * Configuration for baseline systems (HoloClean + NADEEF) * Uncertainty-aware analysis of Rents dataset

Here are a bunch of not particularly organized notes I had lying around about this... ## Existing approaches to Split Merge in the literature: A split-merge algorithm is made up...

Consider the program ``` class NameWithNickname begin true_name ~ string_prior(1, 30) preferring all_first_names nickname ~ string_prior(1, 30) preferring all_first_names end class Person begin fname ~ NameWithNickname lname ~ string_prior(1, 30)...