GitHub topics: neural-symbolic
j-94/metacognitive-framework
From DSL Bootstrap to Universal Reasoning: A framework that captures, evolves, and teaches meta-cognitive reasoning. Started as a simple experiment runner, evolved into a complete system achieving both symbolic rigor (76.5%) and neural adaptability (90%).
Language: Python - Size: 79.1 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 0 - Forks: 0

thuwzy/Neural-Symbolic-and-Probabilistic-Logic-Papers
A curated paper list on neural symbolic and probabilistic logic.
Size: 461 KB - Last synced at: 15 days ago - Pushed at: almost 2 years ago - Stars: 130 - Forks: 14

GAIR-NLP/ProX
[ICML 2025] Programming Every Example: Lifting Pre-training Data Quality Like Experts at Scale
Language: Python - Size: 15.1 MB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 248 - Forks: 17

fareedom1/deepproblog-kan-cnn-mnist-addition
Compare CNN and KAN models on symbolic MNIST addition using DeepProbLog
Language: Python - Size: 32.6 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

zjunlp/OneEdit
OneEdit: A Neural-Symbolic Collaboratively Knowledge Editing System.
Language: Python - Size: 9.99 MB - Last synced at: 16 days ago - Pushed at: 9 months ago - Stars: 18 - Forks: 0

aika-algorithm/aika-java
AIKA (Artificial Intelligence for Knowledge Acquisition) is an innovative approach to neural network design, diverging from traditional architectures that rely heavily on rigid matrix and vector operations. The AIKA Project introduces a flexible, sparse, and non-layered network representation, derived from a type hierarchy.
Language: Java - Size: 12.9 MB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 77 - Forks: 20

alessoh/Nexus
Neural-Symbolic Model
Size: 1000 Bytes - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

alessoh/Neural-Symbolic-Superintelligence-scaling
Neural-Symbolic-Superintelligence scaling
Size: 5.86 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

pi-kappa-devel/py-neer-match
NEural-symbolic Entity Reasoning and Matching in Python
Language: Python - Size: 1.1 MB - Last synced at: 13 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 2

xlang-ai/xlang-paper-reading
Paper collection on building and evaluating language model agents via executable language grounding
Size: 269 KB - Last synced at: 4 months ago - Pushed at: about 1 year ago - Stars: 345 - Forks: 13

bio-ontology-research-group/mowl
mOWL: Machine Learning library with Ontologies
Language: Python - Size: 97.1 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 63 - Forks: 5

hk-zh/language-conditioned-robot-manipulation-models
https://arxiv.org/abs/2312.10807
Size: 1.28 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 51 - Forks: 1

neurallambda/neurallambda
Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
Language: Python - Size: 4.5 MB - Last synced at: 8 months ago - Pushed at: 9 months ago - Stars: 225 - Forks: 11

mommi84/rdf-qa
Explainable complex question answering over RDF files via Llama Index.
Language: Python - Size: 162 KB - Last synced at: 7 months ago - Pushed at: over 2 years ago - Stars: 31 - Forks: 4

liqing-ustc/NGS
Neural-Grammar-Symbolic Learning with Back-Search
Language: Jupyter Notebook - Size: 13.9 MB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 52 - Forks: 5

micheleFraccaroli/Symbolic_DNN-Tuner
Symbolic DNN-Tuner is a system to drive the training of a Deep Neural Network, analysing the performance of each training experiment and automatizing the choice of HPs to obtain a network with better performance.
Language: Python - Size: 20.9 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 3

msthoma/neurolog_flutter_demo
NeuroLog: A Neural-Symbolic System
Language: Dart - Size: 15 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

mikulatomas/LNN-playground
Jupyter notebooks with examples of Logical Neural Networks (LNN) by IBM
Size: 419 KB - Last synced at: 10 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

msthoma/neurolog
Implementation of a new scenario for the Neural-Symbolic system NEUROLOG
Language: Prolog - Size: 47.1 MB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
