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