Your hub for neuro-symbolic AI: Explore links, papers, and articles with a focus on AI cognition. Contribute and stay updated.
☆36Aug 27, 2024Updated last year
Alternatives and similar repositories for NeuroAI-Cognition-Hub
Users that are interested in NeuroAI-Cognition-Hub are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…☆18Nov 23, 2020Updated 5 years ago
- PyNuSMV is a Python framework for experimenting and prototyping BDD-based model checking algorithms based on NuSMV.☆26Nov 1, 2018Updated 7 years ago
- torchlogic is a pytorch framework for developing Neuro-Symbolic AI systems and implements Neural Reasoning Networks.☆22Sep 18, 2025Updated 11 months ago
- ☆59Dec 11, 2025Updated 8 months ago
- Hub repo for OpenWork agents, skills, and commands☆33Mar 27, 2026Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Generates provably correct trajectories from cLTL specifications for large collection of agents☆11Jul 13, 2019Updated 7 years ago
- Implementation of Mutan+ArticleNet on OKVQA☆10Jan 11, 2021Updated 5 years ago
- Code for the experiments in the ACL 2020 paper "Estimating predictive uncertainty for rumour verification models"☆11May 15, 2020Updated 6 years ago
- Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch☆63Oct 28, 2021Updated 4 years ago
- 3D learning environment with rigid body simulation for Linux/MacOSX☆14Dec 24, 2021Updated 4 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆350Aug 9, 2024Updated 2 years ago
- Code and models for our paper "Risk-Aware Machine Learning Classifier for Skin Lesion Diagnosis"☆10Aug 2, 2024Updated 2 years ago
- CTL (Computation Tree Logic) SAT solver☆15Feb 10, 2020Updated 6 years ago
- BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files☆14Apr 1, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Code for blog posts.☆20Oct 23, 2023Updated 2 years ago
- Elevate your language models with insightful diversity metrics.☆11Feb 4, 2024Updated 2 years ago
- PDDL planner for ROS☆10Apr 4, 2014Updated 12 years ago
- A library for constructing and evaluating state features made up of description logics for planning.☆12Mar 17, 2025Updated last year
- ☆15Jan 12, 2025Updated last year
- Using the OpenAI Gym library, I implemented two reinforcement learning algorithms in the Frozen Lake environment.☆11Feb 10, 2024Updated 2 years ago
- [ICRA'25] Decentralized Safe and Scalable Multi-Agent Control Under Limited Actuation☆20Jan 28, 2025Updated last year
- an enumerative reactive synthesis tool for the GR(1) fragment of LTL☆13Jan 5, 2026Updated 7 months ago
- Domain and problem PDDL parser in Python3 using ply.☆13Aug 21, 2018Updated 8 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.
- Tool Support, Extensibility & Interfacing for GOLOG languages☆14Nov 6, 2023Updated 2 years ago
- Rich Visual Knowledge-based AugmentationNetwork for Visual Question Answering☆10Dec 6, 2019Updated 6 years ago
- NavCog is an example app of blelocpp library aimed specifically for the blind to help those people “explore” the world without vision. No…☆10Jan 18, 2017Updated 9 years ago
- Python package for astronomical machine learning and data science☆10Feb 16, 2026Updated 6 months ago
- Core Aranya tech including policy compiler, parser, interface generator, VM, DAG☆17Updated this week
- An informal Wiki for HCI Research Info☆14Jan 15, 2025Updated last year
- TRITONCACHE implementation of a Redis cache☆18Updated this week
- Streamline data pipelines for AI. Process datasets across 1000s of machines, and optimize data for blazing fast model training.☆16Sep 18, 2024Updated last year
- ☆40Jan 26, 2024Updated 2 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.
- Solving a planning problem (Shakey's World) with the FF and IPP planners, the PDDL language and some Python meta-programming to glue thin…☆16May 28, 2017Updated 9 years ago
- ☆12Apr 18, 2019Updated 7 years ago
- sveltekit + adapter-node + socket.io☆11May 18, 2024Updated 2 years ago
- ACM MULTIMEDIA CONFERENCE 2020☆11Jul 28, 2020Updated 6 years ago
- Code repository for "Generative Large Language Models are Poor Medical Coders: A Benchmarking Analysis of Medical Code Querying"☆13Sep 16, 2024Updated last year
- Code exploring the use of reward machines in the context of cooperative multi-agent reinforcement learning.☆14Apr 29, 2023Updated 3 years ago
- 🦌 Deep Retention, Winner @ Calhacks ✨🌠☆11Oct 26, 2024Updated last year