Scalable Neural-Probabilistic Answer Set Programming
☆19May 23, 2024Updated 2 years ago
Alternatives and similar repositories for SLASH
Users that are interested in SLASH are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Pix2Code framework: generalizable, interpretable and revisable visual concept learning☆14Oct 7, 2025Updated last year
- Dolphin is a Python package that enables scalable neurosymbolic learning by performing probabilistic computations over the GPU.☆21Mar 18, 2026Updated 7 months ago
- Probabilistic Mission Design for Neuro-Symbolic Transportation Systems.☆20Oct 22, 2026Updated last week
- Cluster-Normalize-Activate Modules☆13Jan 13, 2025Updated last year
- ☆20Sep 11, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆72Jul 1, 2024Updated 2 years ago
- Hy bindings for JAX☆11Apr 7, 2026Updated 6 months ago
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆19Jul 22, 2021Updated 5 years ago
- Differentiable probabilistic answer set programming☆32Sep 17, 2026Updated last month
- Codebase for Neuro-Symbolic Continual Learning.☆27Aug 21, 2023Updated 3 years ago
- ☆57Oct 12, 2026Updated 2 weeks ago
- ☆43Nov 11, 2024Updated last year
- Tool to perform various types of inference in probabilistic answer set programs under the credal semantics and with statistical statement…☆11Sep 28, 2026Updated last month
- Library implementation of DreamCoder as adapted for LAPS.☆13Jun 9, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Framework of DataLog Neural Program Synthesis☆27Apr 2, 2019Updated 7 years ago
- This is the official code implementation of Bongard-OpenWorld (ICLR 2024).☆14Jan 6, 2025Updated last year
- Multi-Hop Logical Reasoning in Knowledge Graphs☆20Mar 2, 2021Updated 5 years ago
- Implementation of the Structure-Mapping Engine (Falkenhainer et al., 1989) in Clojure.☆12Feb 23, 2011Updated 15 years ago
- An organic life particle system☆24Jun 22, 2025Updated last year
- Conditional Theorem Proving☆54Apr 30, 2021Updated 5 years ago
- Thinking through AI agents and the neuro-symbolic definition from an early LLM agent paper called MRKL. I'm sharing my reasoning behind u …☆12Nov 23, 2024Updated last year
- Code for FormulaNet in NIPS 2017☆32Apr 10, 2018Updated 8 years ago
- DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …☆51Oct 25, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Train transformers on synthetic graph search problems to measure their scaling behavior and to do mechanistic analysis.☆10Oct 22, 2025Updated last year
- ☆24Jun 12, 2023Updated 3 years ago
- ☆37Dec 20, 2024Updated last year
- Sum-Product Network learning routines in python☆27Jun 10, 2015Updated 11 years ago
- ☆14Oct 27, 2023Updated 3 years ago
- larc solving with gpt4☆20May 25, 2023Updated 3 years ago
- ☆12Oct 24, 2024Updated 2 years ago
- Modular decomposition of directed graphs☆14Aug 25, 2026Updated 2 months ago
- Back end for producing indicators and loading them into the COVIDcast API.☆12Sep 18, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A domain-specific probabilistic programming language for modeling and inference with language models☆146Apr 29, 2025Updated last year
- An open-soured framework for training deployable blind locomotion using differentiable simulation☆13Aug 5, 2026Updated 2 months ago
- Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala☆14May 6, 2019Updated 7 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆11Mar 15, 2020Updated 6 years ago
- Test Data Sets for Kandinsky Patterns☆11Jun 2, 2019Updated 7 years ago
- Formal grammars in Lean 3☆10Aug 14, 2023Updated 3 years ago
- [NeurIPS24] VisMin: Visual Minimal-Change Understanding☆20Mar 3, 2025Updated last year