Python notebooks for a tutorial on neurosymbolic programming
☆77Apr 15, 2024Updated last year
Alternatives and similar repositories for Neurosymbolic_Tutorial
Users that are interested in Neurosymbolic_Tutorial are comparing it to the libraries listed below
Sorting:
- For developers and people training MARS models☆19Mar 15, 2024Updated 2 years ago
- Learning trajectory representations using self-supervision and programmatic supervision.☆87Sep 14, 2022Updated 3 years ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆332Updated this week
- ☆37Jul 4, 2025Updated 8 months ago
- Better implementation of Kolmogorov Arnold Network☆26Jun 9, 2024Updated last year
- Examples for Probabilistic System Anglican☆13Oct 28, 2019Updated 6 years ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- A collection of neuro-symbolic systems, papers and videos☆38Jan 12, 2026Updated 2 months ago
- ☆12Feb 11, 2026Updated last month
- Behavioral Keypoint Discovery☆39Jun 13, 2023Updated 2 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆304Aug 9, 2024Updated last year
- Codebase for Neuro-Symbolic Continual Learning.☆27Aug 21, 2023Updated 2 years ago
- An extension of deeplab-v2 (in TF) allowing for smoothed dilated convolutions☆12Mar 27, 2019Updated 6 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆23Jan 27, 2025Updated last year
- ☆12Jan 9, 2024Updated 2 years ago
- ☆46Jan 24, 2026Updated last month
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- ☆13Oct 7, 2024Updated last year
- Trajectory Variational Autoencoder baseline for Multi-Agent Behavior challenge 2022☆19May 23, 2022Updated 3 years ago
- A Jupyter kernel for Logtalk☆13Aug 23, 2025Updated 6 months ago
- ☆12Apr 17, 2024Updated last year
- Open AI Gym environment of the Missile Command Atari game.☆14May 23, 2023Updated 2 years ago
- A PyTorch annotated replication of the paper: https://arxiv.org/abs/2006.10637☆19Nov 20, 2020Updated 5 years ago
- Official Repository for "LLMs as Visual Explainers: Advancing Image Classification with Evolving Visual Descriptions"☆15Apr 20, 2025Updated 11 months ago
- R-package: Bayesian variable selection, model choice, and regularized estimation for (spatial) generalized additive mixed regression …☆14Oct 22, 2024Updated last year
- Code for "Is CLIP ideal? No. Can we fix it? Yes!"☆54Dec 12, 2025Updated 3 months ago
- Python interface for SWI-Prolog☆50Mar 11, 2026Updated last week
- DEPRECATED Mermaid diagrams in the Jupyter Notebook☆35Oct 25, 2021Updated 4 years ago
- CyclesGym: an OpenAI gym interface to the Cycles agricultural simulator☆16Aug 10, 2022Updated 3 years ago
- Code and data for People construct simplified mental representations to plan☆23Oct 30, 2023Updated 2 years ago
- code for icml paper: https://arxiv.org/abs/1711.03243v3☆12Jul 8, 2018Updated 7 years ago
- Kolmogorov-Arnold networks (KAN) as implicit functions (like NeRF but simpler)☆15May 16, 2024Updated last year
- Method developed by Tiago Dantas and Fernando Cyrino Oliveira that combines Bagging, Clusters and ETS to produce highly accurate time ser…☆11Jul 12, 2019Updated 6 years ago
- ☆14Jun 18, 2023Updated 2 years ago
- ☆551Jul 1, 2023Updated 2 years ago
- Logically-Constrained Reinforcement Learning☆56Jul 5, 2024Updated last year
- PyTorch library for synthesizing programs from natural language☆18Jul 25, 2024Updated last year
- Tensorflow implementation of SNAIL and RL2☆11Aug 17, 2019Updated 6 years ago
- Course website static sources.☆11Dec 7, 2022Updated 3 years ago