A neurosymbolic perspective on LLMs
-
Updated
Apr 20, 2026 - Python
#
neurosymbolic-ai
Here are 82 public repositories matching this topic...
Logic Language for LLMs 🌱🐋🌍 Build Neuro-Symbolic AI for Learning and Reasoning
node typescript knowledge logic knowledge-graph symbolic logic-programming knowledge-base expert-system reasoning bun neuro-symbolic-learning rag neuro-symbolic semantic-reasoning neuro-symbolic-ai neurosymbolic-ai graph-rag reasoning-engine semantic-reasoner
-
Updated
Mar 16, 2026 - Python
AISecOps (AI Security Operations) framework for deterministic verification of AI systems. QWED verifies LLM outputs using math, logic, and symbolic execution — creating an auditable trust boundary for agentic AI systems. Not generation. Verification.
python nlp machine-learning sympy smt-solver formal-verification ai-safety ai-security hallucination code-security ai-accuracy generative-ai enterprise-ai neurosymbolic-ai llm-safety hallucination-detection z3-prover deterministic-ai aisecops llm-verification
-
Updated
Apr 21, 2026 - Python
Domain-Aware Neurosymbolic Agent (Dana), an agent-native programming language
agent programming-language ontology programming-languages agents neurosymbolism neurosymbolic generative-ai neurosymbolic-ai agentic-ai ai-alliance cognitive-ontology see-think-act-reflect curate-organize
-
Updated
Mar 26, 2026 - Python
A collection of neuro-symbolic systems, papers and videos
-
Updated
Jan 12, 2026
Web knowledge is fragmented — duplicated across fonts, embeddings, metadata, and renderings. Humans see pixels, AI sees tokens, neither shares the source. Knowledge3D: a sovereign GPU-native reference implementation for W3C PM-KR, where humans and AI consume the same procedural knowledge from one source.
threejs rpn gltf knowledge-representation ptx w3c-community spatial-ui k3d spatial-knowledge neurosymbolic-ai procedural-knowledge sovereign-ai neurosymbolic-integration gpu-native rpn-engine 3d-knowledge-graph procedural-compression three-brain-system pm-kr boundary-framework
-
Updated
Apr 19, 2026 - Python
Scalable association rule mining from tabular datasets.
table tabular-data knowledge-discovery association-rule-mining interpretable-machine-learning neurosymbolic-ai
-
Updated
Feb 9, 2026 - Python
Differentiable probabilistic answer set programming
probabilistic-programming logic-programming answer-set-programming probabilistic-logic-programming credal-sets neurosymbolic-ai
-
Updated
Jun 23, 2025 - C
Sparse Circuits on the GPU (ICLR2025)
tractable-models probabilistic-inference arithmetic-circuits probabilistic-circuits neurosymbolic tractable-inference neurosymbolic-ai
-
Updated
Apr 15, 2026 - Python
Code for the ICLR 2024 paper "How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data"
-
Updated
Apr 15, 2025 - Python
Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and symbolic execution
programming-language compiler deep-reinforcement-learning symbolic-execution feedback-loop code-translation large-language-models neurosymbolic-ai
-
Updated
Nov 6, 2024 - Java
MCP server for building and exploring OWL 2 ontologies with AI agents.
-
Updated
Apr 21, 2026 - Python
Unleash the fuzz on your C codebase.
-
Updated
Mar 2, 2026 - Python
An intelligent, multi-agent framework for artificial biome simulation.
deep-neural-networks simulation computational-biology multiagent-systems genetic-algorithms videogames agents multiagent-reinforcement-learning computational-ecology neurosymbolic-ai
-
Updated
Jul 21, 2025 - Python
A Recursive Ontological Framework for Cognitive Design, Neurodivergence Modeling, AI Co-Development, and "Structural AI"
machine-learning artificial-intelligence representation-learning hardware-acceleration ai-safety executive-function geometric-deep-learning ai-ethics cognitive-modeling embodied-cognition analog-computing neurodiversity cognitive-architectures phenomenology neurosymbolic-ai agent-architecture deterministic-ai structural-computing biomimetic-ai ontology-gating
-
Updated
Mar 25, 2026 - Python
A dedicated repository for learning and researching about neuro-symbolic artificial intelligence (NSAI)
artificial-intelligence symbolic logic-programming ibm symbolic-ai neurosymboliccomputing neurosymbolic neurosymbolic-ai
-
Updated
Oct 1, 2023 - Jupyter Notebook
Code and data of "NeSIG: A Neuro-Symbolic Method for Learning to Generate Planning Problems"
-
Updated
Jan 9, 2026 - PDDL
🎓 Free course on deterministic AI verification. Learn how to mathematically prove LLM output correctness using formal methods. From theory to production workflows with QWED-AI.
python machine-learning jupyter-notebook artificial-intelligence sympy formal-verification ai-safety free-course ai-accuracy developer-education llm-security neurosymbolic-ai hallucination-detection ai-verification z3-prover ai-course deterministic-ai llm-verification qwed-ai ai-safety-course
-
Updated
Mar 23, 2026 - Python
Improve this page
Add a description, image, and links to the neurosymbolic-ai topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the neurosymbolic-ai topic, visit your repo's landing page and select "manage topics."