14 results found Sort:

81
842
gpl-3.0
24
The Programmable Cypher-based Neuro-Symbolic AGI that lets you program its behavior using Graph-based Prompt Programming: for people who want AI to behave as expected
Created 2023-06-17
451 commits to main branch, last one 25 days ago
13
559
apache-2.0
14
Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
Created 2021-07-11
827 commits to main branch, last one 2 days ago
PyTorch + HuggingFace code for RetoMaton: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022), including an implementation of kNN-LM and kNN-MT
Created 2022-07-06
33 commits to master branch, last one 2 years ago
20
75
apache-2.0
13
AIKA is a new type of artificial neural network designed to more closely mimic the behavior of a biological brain and to bridge the gap to classical AI. A key design decision in the Aika network is to...
Created 2017-05-24
3,888 commits to main branch, last one a day ago
PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)
Created 2022-05-17
1,196 commits to main branch, last one 2 years ago
mOWL: Machine Learning library with Ontologies
Created 2020-03-09
1,018 commits to main branch, last one 25 days ago
Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch
Created 2020-10-24
12 commits to master branch, last one 3 years ago
An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a unified framework.
Created 2022-02-13
808 commits to main branch, last one 3 months ago
Hrrformer: A Neuro-symbolic Self-attention Model (ICML23)
Created 2023-05-09
10 commits to main branch, last one about a year ago
[ACL 2024] The project of Symbol-LLM
Created 2023-11-16
32 commits to main branch, last one 5 months ago
17
40
mit
8
Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
Created 2020-10-09
18 commits to main branch, last one about a year ago
LLM Dynamic Planner - Combining LLM with PDDL Planners to solve an embodied task
Created 2023-05-02
34 commits to main branch, last one 3 months ago
ZeroC is a neuro-symbolic method that trained with elementary visual concepts and relations, can zero-shot recognize and acquire more complex, hierarchical concepts, even across domains
Created 2022-06-13
35 commits to master branch, last one about a year ago