Feras Saad

Results 112 issues of Feras Saad

Currently a constant `c` must be numeric, by creating a polynomial `(0*X + c)`. In general, we can have constants in symbolic (nominal) domains, for Piecewise expressions such as ```python...

One possibility is to have a generic `Constant` transform, in which case we can do something like: ```python Y = ('high')*( X

MWE ``` >>> source = """ i = 0.5 Y ~= bernoulli(p=0 if i == 0.5 else 1) """ >>> compiler = SPPL_Compiler(source) >>> namespace = compiler.execute_module() TypeError: unsupported operand...

As it stands, Gen programs draw random bits from the global entropy store. Going forward some control over the random seed is required --- for debugging, reproduciblity, and independence of...

Consider the following simple programs ``` using Gen @gen function model_ok() k ~ poisson(5) for i=1:k {i} ~ uniform(0,1) end end @gen function model_bad() k ~ poisson(5) for i=1:k {:value...

bug

See here for the log https://github.com/probcomp/Gen.jl/actions/runs/3447627001/jobs/5753831370#step:5:12

```julia julia> @transform f (model_in, aux_in) to (model_out, aux_out) begin z = :continuous @write(model_out[:x], 1, z) end ERROR: LoadError: MethodError: no method matching var"@write"(::LineNumberNode, ::Module, ::Expr, ::Int64, ::Symbol) Closest candidates...

The `as` in `import Foo as Bar` should be highlighted in red. Note that `as` is not a reserved for in the usual sense, for example, it can itself be...

https://github.com/probsys/fast-loaded-dice-roller/blob/19d30abe421edecf25173ca4146f02109194be5f/src/c/flip.c#L14-L25 `rand()` returns a random 31-bit integer packed into a 32-bit integer (whose sign bit is always zero). The positions of the extracted bits should then be 0, ..., 30....

1. Remove initialization of H to -1; instead, use calloc for initalizatio nto 0 and index the samples by 1, ..., n+1; also make sure to update the sampler to...