probsys sppl issues - Githubissues

probsys / sppl

Probabilistic programming system for fast and exact symbolic inference

Apache License 2.0

76 stars 10 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Fix domain for spn.distributions when loc parameter is specified

#79 fsaad closed 4 years ago
0
Implement spn.logpdf with base-measure checking

#78 fsaad closed 4 years ago
1
Fix condition on DiscreteReal Atomic for non-Range data type

#77 fsaad closed 4 years ago
1
Implement multi-variable environment in spn.Product

#76 fsaad opened 4 years ago
1
Unify and simplify syntax of case "in"

#75 fsaad closed 4 years ago
1
Ensure weights and children are same length in SumSPN and fix IfElse bug

#74 fsaad closed 4 years ago
0
Support the Pythonic if-else expression

#73 fsaad closed 4 years ago
0
Implement general discrete real distribution (like nominal)

#72 fsaad closed 4 years ago
2
Implement the switch macro

#71 fsaad closed 4 years ago
0
Support x ~= ast.DictComp in the compiler

#70 fsaad closed 4 years ago
0
Implement entropy (and conditional entropy) in SPN, and add tests in MI to ensure properties

#69 fsaad closed 4 years ago
0
Fix Reciprocal.ffwd in case that argument is not an integer (sympy chokes)

#68 fsaad opened 4 years ago
2
Optimize mutual information by avoiding computing the final probability `lp11`

#67 Schaechtle closed 4 years ago
0
Support memoization for mutual information.

#66 Schaechtle closed 4 years ago
0
Support Python "import" statements in SPML

#65 fsaad closed 4 years ago
0
Handle the transforms at the leaves in render.py

#64 fsaad closed 4 years ago
0
Use interpeter.IfElse instead of Cond, and interpeter.For instead of interpreter.Repeat

#63 fsaad closed 4 years ago
0
Expunge interpreter.Variable, not needed in light of compiler.

#62 fsaad closed 4 years ago
1
Make rng optional in spn.sample (and rename to prng)

#61 fsaad closed 4 years ago
0
Implement univariate combinations for distributions.py using * and |

#60 fsaad closed 4 years ago
0
Implement renderer to the IMP language

#59 fsaad closed 4 years ago
1
Make ProductSPN.logprob inclusion-exclusion more efficient by dynamically creating the powerset

#58 fsaad closed 4 years ago
1
Remove prune_events from BranchSPN and make ProductSPN check for conjunctions first

#57 fsaad closed 4 years ago
1
Consider breaking up mega-module spn.py (no easy solutions)

#56 fsaad closed 4 years ago
1
Fix sample_func in case where the token is an invalid Python variable name

#55 fsaad opened 4 years ago
0
Implement an environment for SPN

#54 fsaad closed 4 years ago
4
Support x**(1,n) notation instead of x**Rat(1,n)

#53 fsaad closed 4 years ago
0
Optimization 2: Cache computation of logprob/condition for duplicate subtrees

#52 fsaad closed 4 years ago
1
Optimization 1: Replace duplicate subtrees with references to a single subtree

#51 fsaad closed 4 years ago
0
Expunge redundant combinators.IfElse (interpret.IfElse is sufficient)

#50 fsaad closed 4 years ago
0
Implement simplifier in interpret.IfElse

#49 fsaad closed 4 years ago
0
Implement simplifier in Product.condition

#48 fsaad closed 4 years ago
0
Linearize SumSPN with SumSPN children (as in ProductSPN)

#47 fsaad closed 4 years ago
0
Implement simplifications in Event.to_dnf

#46 fsaad closed 4 years ago
2
Replace all instances of dict/set with non-random variants

#45 fsaad opened 4 years ago
0
Remove logpdf from SPN interface

#44 fsaad closed 4 years ago
1
Avoid duplicate work in DNF query analysis for Product

#43 fsaad closed 4 years ago
0
Allow NominalDist to take any (hashable) object

#42 fsaad closed 4 years ago
1
Implement For-Loop in the interpreter.

#41 fsaad closed 4 years ago
1
Give a hint to EventFiniteNominal by implementing X.support (where possible)

#40 fsaad closed 4 years ago
1
Remove all prob 0 conjunctions before calling inclusion-exclusion in Product

#39 fsaad closed 4 years ago
0
Implement an interpreter in the functional style

#38 fsaad closed 4 years ago
1
Consider implementing a MultvariateNormal Leaf (not clear how)

#37 fsaad closed 4 years ago
0
spn.to_json

#36 fsaad closed 4 years ago
1
Implement XOR of Events

#35 fsaad closed 4 years ago
0
Expunge equivalent events in dnf_normalize

#34 fsaad closed 4 years ago
0
Decide and document whether X << {} should be EventFiniteNominal or EventFiniteReal

#33 fsaad closed 4 years ago
1
Allow general set in "X << S", including S is Union/Complement/Interval, etc.

#32 fsaad closed 4 years ago
0
Allow NominalValue n in x << {n}

#31 fsaad closed 4 years ago
0
Settle on names for Numerical(Real) and Ordinal(Real)

#30 fsaad closed 4 years ago
0

Previous Next