Science Score: 44.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
✓CITATION.cff file
Found CITATION.cff file -
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (6.8%) to scientific vocabulary
Repository
Sparse Circuits on the GPU (ICLR2025)
Basic Info
- Host: GitHub
- Owner: ML-KULeuven
- License: apache-2.0
- Language: Python
- Default Branch: main
- Homepage: https://klaycircuits.readthedocs.io/en/latest/index.html
- Size: 7.43 MB
Statistics
- Stars: 15
- Watchers: 2
- Forks: 0
- Open Issues: 0
- Releases: 2
Metadata Files
README.md
KLay
[🎥 Video] [📃 Paper] [📖 Documentation]
KLay is a Python library for evaluating sparse circuits on the GPU.
To get started, install KLay using pip and check out the documentation.
bash
pip install klaycircuits
Features include: - Evaluation in Jax or PyTorch, on CPU or GPU. - Loading SDD and d-DNNF circuits compiled by PySDD or D4. - Evaluation in various semirings (e.g. real, log, tropical). - Propagating constants and merging duplicate nodes.
📃 Paper
If you use KLay in your research, consider citing our paper.
To replicate the exact results and figures of the paper, use this code.
bibtex
@inproceedings{
maene2025klay,
title={{KL}ay: Accelerating Arithmetic Circuits for Neurosymbolic {AI}},
author = {Maene, Jaron and Derkinderen, Vincent and Zuidberg Dos Martires, Pedro},
booktitle={The Thirteenth International Conference on Learning Representations},
year={2025},
url={https://openreview.net/forum?id=Zes7Wyif8G}
}
Owner
- Name: KU Leuven Machine Learning Research Group
- Login: ML-KULeuven
- Kind: organization
- Location: Leuven, Belgium
- Website: http://dtai.cs.kuleuven.be/ml
- Repositories: 19
- Profile: https://github.com/ML-KULeuven
Citation (CITATION.cff)
cff-version: 1.2.0
message: "If you use this software, please cite it as below."
authors:
- family-names: "Maene"
given-names: "Jaron"
orcid: "https://orcid.org/0000-0001-9474-6150"
- family-names: "Derkinderen"
given-names: "Vincent"
orcid: "https://orcid.org/0000-0002-8894-270X"
- family-names: "Zuidberg Dos Martires"
given-names: "Pedro"
orcid: "https://orcid.org/0000-0001-5834-0188"
title: "KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI"
version: 0.0.2
date-released: 2024-12-10
url: "https://github.com/ML-KULeuven/klay/"
keywords:
- Neurosymbolic AI
- Arithmetic Circuits
- Sparse Inference
preferred-citation:
type: conference-paper
authors:
- family-names: "Maene"
given-names: "Jaron"
orcid: "https://orcid.org/0000-0001-9474-6150"
- family-names: "Derkinderen"
given-names: "Vincent"
orcid: "https://orcid.org/0000-0002-8894-270X"
- family-names: "Zuidberg Dos Martires"
given-names: "Pedro"
orcid: "https://orcid.org/0000-0001-5834-0188"
title: "KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI"
year: 2025
publisher:
name: OpenReview.net
collection-title: "ICLR"
GitHub Events
Total
- Watch event: 14
- Public event: 1
- Push event: 21
Last Year
- Watch event: 14
- Public event: 1
- Push event: 21
Packages
- Total packages: 1
-
Total downloads:
- pypi 102 last-month
- Total dependent packages: 0
- Total dependent repositories: 0
- Total versions: 1
- Total maintainers: 1
pypi.org: klaycircuits
Arithmetic circuits on the GPU
- Homepage: https://github.com/ML-KULeuven/klay
- Documentation: https://klaycircuits.readthedocs.io/
- License: Apache Software License
-
Latest release: 0.0.2
published 11 months ago
Rankings
Maintainers (1)
Dependencies
- actions/checkout v4 composite
- actions/download-artifact v4 composite
- actions/setup-python v5 composite
- actions/upload-artifact v4 composite
- pypa/cibuildwheel v2.21.3 composite
- pypa/gh-action-pypi-publish release/v1 composite
- sphinx *
- sphinx-tabs *
- numpy *