Pinned Loading

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

   Sparse Circuits on the GPU (ICLR2025)

   Python 29 3

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

   Embeddings as Probabilistic Equivalence in Logic Programs (NeurIPS2025)

   Python 3 1

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

   The Gradient of Algebraic Model Counting (AAAI2025)

   Rust 3

4. hardness-nesy hardness-nesy Public

   On the Hardness of Probabilistic Neurosymbolic Learning (ICML2024)

   Python 5

5. DeepSoftLog DeepSoftLog Public

   Soft-Unification in Deep Probabilistic Logic (NeurIPS 2023)

   Python 10 6

6. triggergraphs triggergraphs Public

   Python bindings for High-performance Datalog engine

   C++ 1