Venturecxx
Venturecxx copied to clipboard
probcomp
Primary implementation of the Venture probabilistic programming system
*Found by Taylor, who writes:* "I realized the other day that the logit function I put in backend/lite/utils.py is not good near 1/2. For inputs between logistic(-1) = e^{-1}/(1 +...
I understand Arch Linux isn't supported per the README, so this is just FYI. Maybe the ubuntu docker install is more concerning? I tried that as a backup, and it...
Raises a `NotImplementedError` for the SPAux. ``` venture[script] > define gp = make_gp(gp_mean_const(0.), gp_cov_se(1)) venture[script] > gp([1,2]) /scratch/fsaad/Venturecxx/build/lib.linux-x86_64-2.7/venture/lite/psp.py in simulate(self, args) 598 599 def simulate(self, args): --> 600 return self._disptach(args).simulate(args)...
- [ ] Add prune to trace_set.py - [ ] Add prune to engine.py (four flavors) - [ ] Add prune to inference.py (four flavors) - [ ] Add prune...
Here is a sample trace, noting that `y` has dynamic integer scope and string block, whereas `z` has string scope and dynamic integer block. ``` $ cat case.vnts assume x...
``` ripl.execute_program('assume x1 = tag("x", "x", normal(0,1))') ripl.execute_program('assume y1 = tag("y", "y", normal(x1,1))') ripl.observe('y1', 2) ripl.execute_program('infer(mh("x", 1, 100))') ``` The final line crashes noisily since block `1` does not exist...
Here is a patch: ```diff diff --git a/backend/lite/basic_sps.py b/backend/lite/basic_sps.py index 2bb639b..a8134e7 100644 --- a/backend/lite/basic_sps.py +++ b/backend/lite/basic_sps.py @@ -19,6 +19,8 @@ import cPickle as pkl +from collections import OrderedDict + from...
There is a generic way to sample exactly from the local posterior of a 1-D continuous-valued variable. To wit: - Numerically integrate said local posterior from -inf to +inf to...
When testing Mite, Anthony wrote this nice abstraction: ``` from nose.tools import make_decorator def gen_for_each(items): def wrap(f): @make_decorator(f) def wrapped(): for item in items: yield f, item return wrapped return...