rodrigodesalvobraz/neuralpp issues and pull requests

#56 - Test AEBP using random models with deeper loops

Pull Request - State: closed - Opened by shannyang almost 2 years ago

#55 - Setting up Github Actions

Pull Request - State: closed - Opened by CactusWin about 2 years ago

#54 - Github Actions on Main Branch

Pull Request - State: closed - Opened by CactusWin about 2 years ago

#53 - Setting up Github Actions

Pull Request - State: closed - Opened by CactusWin about 2 years ago

#52 - Trying to Set Up a Linter

Pull Request - State: closed - Opened by CactusWin about 2 years ago - 1 comment

#51 - branch pruning examples

Pull Request - State: closed - Opened by hsiang-wu about 2 years ago

#50 - Evaluate KL divergences for approximations on random models

Pull Request - State: closed - Opened by shannyang about 2 years ago

#49 - Refactor Interpreter

Pull Request - State: closed - Opened by CactusWin about 2 years ago

#48 - Poly implementation cleanup

Pull Request - State: closed - Opened by hsiang-wu about 2 years ago

#47 - more fixes

Pull Request - State: closed - Opened by hsiang-wu about 2 years ago

#46 - Polynomial Optimization

Pull Request - State: closed - Opened by hsiang-wu about 2 years ago - 1 comment

#45 - Fixed or Comment Out Test

Pull Request - State: closed - Opened by CactusWin about 2 years ago - 2 comments

#44 - Next Steps for Symbolic based on Discussion with Xiang

Issue - State: closed - Opened by CactusWin about 2 years ago - 2 comments

#43 - Refactoring Expressions

Pull Request - State: closed - Opened by CactusWin about 2 years ago

#42 - Clean up Symbolic

Issue - State: open - Opened by CactusWin about 2 years ago - 2 comments

#41 - Refactoring of Symbolic

Pull Request - State: closed - Opened by CactusWin about 2 years ago - 1 comment

#40 - Incremental anytime exact belief propagation

Pull Request - State: closed - Opened by shannyang about 2 years ago

#39 - Refine Intervals

Pull Request - State: closed - Opened by CactusWin about 2 years ago

#38 - Piecewise

Pull Request - State: closed - Opened by hsiang-wu about 2 years ago - 1 comment

#37 - lazy normalizer

Pull Request - State: closed - Opened by hsiang-wu about 2 years ago

#36 - Code generation example

Pull Request - State: closed - Opened by hsiang-wu about 2 years ago - 1 comment

#35 - add support for integration

Pull Request - State: closed - Opened by hsiang-wu about 2 years ago

#34 - Eliminator

Pull Request - State: closed - Opened by hsiang-wu about 2 years ago

#33 - Inverse

Pull Request - State: closed - Opened by hsiang-wu about 2 years ago

#32 - Super Naive and Brute-force Implementation of Intervals

Pull Request - State: closed - Opened by CactusWin about 2 years ago

#31 - interval interface

Pull Request - State: closed - Opened by hsiang-wu about 2 years ago - 2 comments

#30 - New normalization

Pull Request - State: closed - Opened by hsiang-wu about 2 years ago

#29 - normalization of quantifier expression

Pull Request - State: closed - Opened by hsiang-wu about 2 years ago - 3 comments

#28 - On naming of “quantifier expression”

Issue - State: closed - Opened by hsiang-wu about 2 years ago - 1 comment

#27 - quantifier expressions

Pull Request - State: closed - Opened by hsiang-wu about 2 years ago

#26 - normalization

Pull Request - State: closed - Opened by hsiang-wu about 2 years ago

#25 - Symbolic Factor If-Then-Else and Variable Elimination Tests

Pull Request - State: closed - Opened by CactusWin about 2 years ago

#24 - context simplifer

Pull Request - State: closed - Opened by hsiang-wu about 2 years ago

#23 - Exact belief propagation

Pull Request - State: closed - Opened by shannyang over 2 years ago - 3 comments

#22 - Conditional expression

Pull Request - State: closed - Opened by hsiang-wu over 2 years ago - 1 comment

#21 - Enhanced interface for context

Pull Request - State: closed - Opened by hsiang-wu over 2 years ago

#20 - Symbolic Factor

Pull Request - State: closed - Opened by CactusWin over 2 years ago

#19 - Context class and Z3 Solver Expression

Pull Request - State: closed - Opened by hsiang-wu over 2 years ago

#18 - fixed a bug; redesigned type_dict in SymPyExpression

Pull Request - State: closed - Opened by hsiang-wu over 2 years ago

#17 - Belief propogation

Pull Request - State: closed - Opened by shannyang over 2 years ago

#16 - Rethinking `type_dict` design in SymPyExpression

Issue - State: closed - Opened by hsiang-wu over 2 years ago

#15 - Symbolic Factor

Pull Request - State: closed - Opened by CactusWin over 2 years ago - 2 comments

#14 - Operator Overloading

Pull Request - State: closed - Opened by hsiang-wu over 2 years ago - 1 comment

#13 - Sympy simplification

Pull Request - State: closed - Opened by hsiang-wu over 2 years ago - 1 comment

#12 - Z3 Expression

Pull Request - State: closed - Opened by hsiang-wu over 2 years ago - 1 comment

#11 - Typing for expressions.

Pull Request - State: closed - Opened by hsiang-wu over 2 years ago - 1 comment

#10 - Minor fixes

Pull Request - State: closed - Opened by hsiang-wu over 2 years ago - 1 comment

#9 - added use case of z3's solver and context, particularly their copying

Pull Request - State: closed - Opened by hsiang-wu over 2 years ago

#8 - SymPyExpression

Pull Request - State: closed - Opened by hsiang-wu over 2 years ago - 2 comments

#7 - implemented expression factory

Pull Request - State: closed - Opened by hsiang-wu over 2 years ago - 1 comment

#6 - Interpreter

Pull Request - State: closed - Opened by hsiang-wu over 2 years ago

#5 - Implemented Expression Interface

Pull Request - State: closed - Opened by hsiang-wu over 2 years ago - 1 comment

#4 - Z3py test cases and comparison of its solver to SymPy's

Pull Request - State: closed - Opened by hsiang-wu over 2 years ago - 1 comment

#3 - SymPy unit tests

Pull Request - State: closed - Opened by hsiang-wu over 2 years ago - 1 comment

#2 - Fix distribution creation in PyTorchDistributionFactor

Pull Request - State: closed - Opened by horizon-blue over 2 years ago

#1 - Converting from "namespace package" to "regular package"

Pull Request - State: closed - Opened by stefanwebb almost 3 years ago

GitHub / rodrigodesalvobraz/neuralpp issues and pull requests