Python notebooks for a tutorial on neurosymbolic programming
☆79Apr 15, 2024Updated 2 years ago
Alternatives and similar repositories for Neurosymbolic_Tutorial
Users that are interested in Neurosymbolic_Tutorial are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Dec 7, 2020Updated 5 years ago
- ☆12Dec 12, 2021Updated 4 years ago
- Neurosymbolic Library☆31Aug 19, 2026Updated 2 months ago
- An expressive language for discrete probabilistic programming with lazy knowledge compilation☆18Jul 27, 2026Updated 3 months ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆378Nov 13, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A library for program induction and learning representations.☆32Dec 18, 2023Updated 2 years ago
- ☆13Nov 29, 2017Updated 8 years ago
- Misconception-based tutor designed to help people learn Linear Temporal Logic.☆12Jul 28, 2026Updated 3 months ago
- ICLR'22 Programmatic Reinforcement Learning☆17Apr 15, 2023Updated 3 years ago
- Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)☆29Jul 8, 2021Updated 5 years ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆354Oct 26, 2026Updated last week
- A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Jo…☆39May 21, 2020Updated 6 years ago
- Codebase for Neuro-Symbolic Continual Learning.☆27Aug 21, 2023Updated 3 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆360Sep 29, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Better implementation of Kolmogorov Arnold Network☆26Jun 9, 2024Updated 2 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆13Apr 8, 2022Updated 4 years ago
- ActiveCampaign Event Tracking Proxy for GTM via Google Cloud Functions☆10Apr 22, 2021Updated 5 years ago
- Examples for Probabilistic System Anglican☆13Oct 28, 2019Updated 7 years ago
- Neural Markov Logic Networks☆13Feb 14, 2022Updated 4 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆26Jan 27, 2025Updated last year
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Aug 13, 2024Updated 2 years ago
- DeepLogic: Towards End-to-End Differentiable Logical Reasoning☆25Jul 7, 2020Updated 6 years ago
- Implementation of Bayesian Sum-Product Networks☆13May 19, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Mar 8, 2022Updated 4 years ago
- Neurosymbolic transformers for multi-agent communication.☆23Oct 22, 2020Updated 6 years ago
- A simple Tensorflow implementation of https://arxiv.org/abs/1906.04985☆13May 16, 2019Updated 7 years ago
- ☆13Aug 12, 2026Updated 2 months ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Feb 18, 2019Updated 7 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆13Jan 11, 2025Updated last year
- Neuro-symbolic concept embedding and reasoning for ALC knowledge bases☆14Feb 7, 2023Updated 3 years ago
- ☆41Jan 24, 2026Updated 9 months ago
- [ICML'24] Code for the loss functions and metrics presented in "Bridging mini-batch and asymptotic analysis in contrastive learning: From…☆11Sep 5, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An extension of deeplab-v2 (in TF) allowing for smoothed dilated convolutions☆12Mar 27, 2019Updated 7 years ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆165Oct 16, 2026Updated 2 weeks ago
- ☆12Jan 9, 2024Updated 2 years ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 3 years ago
- PyTorch implementation for the Neuro-Symbolic Concept Learner (NS-CL).☆460Oct 24, 2020Updated 6 years ago
- SymPy based framework for optimized code generation for BSSN formulation of Einstein equation for heterogeneous platforms.☆11Oct 23, 2026Updated last week
- Implementation for the paper "Approximating full conformal prediction at scale via influence functions"☆11Apr 25, 2024Updated 2 years ago