Scalable Neural-Probabilistic Answer Set Programming
☆18May 23, 2024Updated last year
Alternatives and similar repositories for SLASH
Users that are interested in SLASH are comparing it to the libraries listed below
Sorting:
- The Pix2Code framework: generalizable, interpretable and revisable visual concept learning☆14Oct 7, 2025Updated 4 months ago
- Cluster-Normalize-Activate Modules☆13Jan 13, 2025Updated last year
- Probabilistic Mission Design for Neuro-Symbolic Transportation Systems.☆18Feb 20, 2026Updated last week
- The Neuro-Symbolic Forward Reasoner☆26Jun 19, 2023Updated 2 years ago
- ☆49Nov 11, 2023Updated 2 years ago
- Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.☆26Feb 17, 2026Updated last week
- Code implementation of R^2-Guard: Robust Reasoning Enabled LLM Guardrail via Knowledge-Enhanced Logical Reasoning☆22Jul 8, 2024Updated last year
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆17Jul 22, 2021Updated 4 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Jul 1, 2024Updated last year
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆301Aug 9, 2024Updated last year
- Scalable training and inference for Probabilistic Circuits☆92Feb 13, 2026Updated 2 weeks ago
- ☆23Jun 12, 2023Updated 2 years ago
- Codebase for Neuro-Symbolic Continual Learning.☆27Aug 21, 2023Updated 2 years ago
- Differentiable probabilistic answer set programming☆30Jun 23, 2025Updated 8 months ago
- Relational data mining in python☆32Nov 16, 2022Updated 3 years ago
- This project contains code for the paper titled "SpikingBERT: Distilling BERT to Train Spiking Language Models Using Implicit Differentia…☆28Feb 21, 2024Updated 2 years ago
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆32Dec 28, 2023Updated 2 years ago
- Code for FormulaNet in NIPS 2017☆30Apr 10, 2018Updated 7 years ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆142Apr 29, 2025Updated 10 months ago
- ☆10Jul 12, 2022Updated 3 years ago
- ☆36Dec 20, 2024Updated last year
- DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …☆50Oct 25, 2024Updated last year
- ☆38Nov 11, 2024Updated last year
- Back end for producing indicators and loading them into the COVIDcast API.☆12Dec 16, 2025Updated 2 months ago
- A python library / model for creating co-references between AMR graph nodes.☆11Dec 11, 2022Updated 3 years ago
- A package that makes inferring Builder types easy.☆11Jul 29, 2024Updated last year
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆101Sep 17, 2025Updated 5 months ago
- Client-side navigation done right☆11Dec 9, 2022Updated 3 years ago
- The VZN of perfect JS reactivity system☆14Jan 30, 2024Updated 2 years ago
- Augmenting engineering workflows with Probabilistic Machine Learning☆10Feb 9, 2026Updated 2 weeks ago
- Modular decomposition of directed graphs☆13Apr 2, 2025Updated 10 months ago
- Fast Computation of Zigzag Persistence☆14Dec 9, 2023Updated 2 years ago
- A python library which simplifies creating and exporting videos.☆11Oct 1, 2023Updated 2 years ago
- ☆11Jun 28, 2022Updated 3 years ago
- Probe how GPT-n performs on statutory reasoning☆10Sep 17, 2024Updated last year
- Learning programs with the Exploration-Compression algorithm☆10May 17, 2018Updated 7 years ago
- Official implementation of ECCV 2024 paper: "Event-based Mosaicing Bundle Adjustment"☆12Mar 12, 2025Updated 11 months ago
- Community guide for tracking Bun supports library / framework☆12Apr 27, 2023Updated 2 years ago
- This repository is a collection of datasets, models and approaches for affective computing. The goal is to provide a comprehensive overvi…☆11May 25, 2023Updated 2 years ago