GitHub topics: weighted-model-counting
ML-KULeuven/PySDD
Python package for Sentential Decision Diagrams (SDD)
Language: C - Size: 1.95 MB - Last synced at: 18 days ago - Pushed at: 5 months ago - Stars: 63 - Forks: 18
jjcmoon/hardness-nesy
On the Hardness of Probabilistic Neurosymbolic Learning (ICML2024)
Language: Python - Size: 95.7 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 4 - Forks: 0
itl-ed/igre
NAACL2022 Interactive Symbol Grounding with Complex Referential Expressions
Language: Python - Size: 7.01 MB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
Mehran-k/L2C
A compiler for lifted inference into C++ programs
Language: Ruby - Size: 945 KB - Last synced at: almost 2 years ago - Pushed at: almost 9 years ago - Stars: 3 - Forks: 0
