Pinned Loading

1. ML-KULeuven/klay ML-KULeuven/klay Public

   Sparse Circuits on the GPU (ICLR2025)

   Python 19

2. ML-KULeuven/equality_reasoning ML-KULeuven/equality_reasoning Public

   Embeddings as Probabilistic Equivalence in Logic Programs (NeurIPS2025)

   Python 1

3. DeepSoftLog DeepSoftLog Public

   Soft-Unification in Deep Probabilistic Logic (NeurIPS 2023)

   Python 10 3

4. hardness-nesy hardness-nesy Public

   On the Hardness of Probabilistic Neurosymbolic Learning (ICML2024)

   Python 5

5. ML-KULeuven/amc-grad ML-KULeuven/amc-grad Public

   The Gradient of Algebraic Model Counting (AAAI2025)

   Rust 3

6. semiring_torch semiring_torch Public

   Semiring programming in PyTorch

   Python 10