Your hub for neuro-symbolic AI: Explore links, papers, and articles with a focus on AI cognition. Contribute and stay updated.
☆36Aug 27, 2024Updated 2 years ago
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:
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆58Sep 17, 2025Updated 11 months 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
- ✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models☆328Jun 19, 2025Updated last year
- ☆60Dec 11, 2025Updated 9 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Official repository for "DYPLOC: Dynamic Planning of Content Using Mixed Language Models for Opinion Text Generation"☆10May 20, 2022Updated 4 years ago
- Code and data from semantic feature generation with GPT-3☆18Sep 10, 2023Updated 3 years ago
- Hub repo for OpenWork agents, skills, and commands☆35Mar 27, 2026Updated 5 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆353Updated this week
- Glyphs, acting as collaboratively defined symbols linking related concepts, add a layer of multidimensional semantic richness to user-AI …☆57Feb 10, 2025Updated last year
- learn mojo☆14Sep 26, 2024Updated last year
- PDDL planner for ROS☆10Apr 4, 2014Updated 12 years ago
- A python library for control from Signal Temporal Logic (STL) specifications☆59Jun 13, 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
- 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.
- markdown parser and prompt generator tools for text2image prompts☆31May 28, 2024Updated 2 years ago
- Multi-agent coordination using game theory and nonlinear opinion dynamics - CDC 2023☆15Nov 29, 2023Updated 2 years ago
- Self-guided tutorial on combinatorial optimization, the bin packing problem, and constructive heuristics, suitable for use as course assi…☆13Updated this week
- an enumerative reactive synthesis tool for the GR(1) fragment of LTL☆13Jan 5, 2026Updated 8 months ago
- Domain and problem PDDL parser in Python3 using ply.☆13Aug 21, 2018Updated 8 years ago
- Tool Support, Extensibility & Interfacing for GOLOG languages☆14Nov 6, 2023Updated 2 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
- JAX compilation of RDDL description files, and a differentiable planner in JAX.☆17Jun 28, 2026Updated 2 months ago
- TRITONCACHE implementation of a Redis cache☆18Updated this week
- 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.
- 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
- Generates types and co for pocketbase cms☆11Nov 4, 2023Updated 2 years ago
- sveltekit + adapter-node + socket.io☆11May 18, 2024Updated 2 years ago
- Driver package for the SCHUNK SVH Five-Finger-Hand.☆16Oct 18, 2022Updated 3 years ago
- 🦌 Deep Retention, Winner @ Calhacks ✨🌠☆11Oct 26, 2024Updated last year
- A modular framework for Neuro-Symbolic reasoning driven by Large Language Models☆39Oct 29, 2025Updated 10 months ago
- ☆18Apr 11, 2021Updated 5 years ago
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆21Aug 31, 2026Updated last week
- 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.
- [ACL 2026 Main] Official Repo for Paper "Which Reasoning Trajectories Teach Students to Reason Better? A Simple Metric of Informative Ali…☆16Jul 1, 2026Updated 2 months ago
- Dockerized Ethereum testnets☆13Jun 3, 2018Updated 8 years ago
- A python script to calculate normalized google distance (NGD). This is a semantic similarity metric based on Google search results☆18Dec 26, 2023Updated 2 years ago
- A Full Stack demo app with gRPC and Modern Android Development/Svelte to keep up with today's standards.☆13Updated this week
- A reference for using Svelte 5 with TanStack Table v8☆45Mar 14, 2025Updated last year
- Learning to route instances for Human vs AI Feedback (ACL Main '25)☆30Jul 23, 2025Updated last year
- [CHI24] AI-Assisted In-Context Writing on OHMD During Travels☆12Dec 19, 2024Updated last year