A neurosymbolic perspective on LLMs
-
Updated
Jul 26, 2026 - Python
#
neurosymbolic-ai
Here are 123 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
Aug 4, 2026 - Rust
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 deterministic verification layer for AI systems. QWED verifies AI outputs using mathematics, symbolic reasoning, and formal methods (Z3, SMT, SymPy), creating an auditable trust boundary for agentic AI. Not generation. Verification.
python nlp machine-learning sympy smt-solver formal-verification ai-safety ai-security hallucination code-security ai-accuracy enterprise-ai neurosymbolic-ai llm-safety hallucination-detection z3-prover deterministic-ai llm-verification deterministic-verification deterministic-verification-layer
-
Updated
Aug 5, 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
May 17, 2026 - Python
Scalable association rule mining from tabular datasets.
data-mining table tabular-data knowledge-discovery autoencoder association-rule-mining interpretable-machine-learning neurosymbolic-ai
-
Updated
Jul 7, 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
Jun 18, 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
MCP server for building and exploring OWL 2 ontologies with AI agents.
-
Updated
Jun 1, 2026 - 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
Axiomatic intelligence. Doing the right thing, provably.
rust theorem-proving webassembly wasm semantic-web ontology artificial-intelligence category-theory knowledge-graph wordnet formal-methods knowledge-representation automated-reasoning explainable-ai applied-category-theory symbolic-ai neurosymbolic neuro-symbolic-ai neurosymbolic-ai deterministic-ai
-
Updated
Jul 30, 2026 - Rust
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
May 28, 2026 - Python
Unleash the fuzz on your C codebase.
-
Updated
Mar 2, 2026 - Python
🎓 Free course on deterministic AI verification and AISecOps. Learn fail-closed AI architecture, formal verification, audit integrity, MCP security, and trust-boundary engineering 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
Aug 1, 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
Crimson OS — Reality-Guided Intelligence, not AGI: sovereign local OS on your NAS. Agent_Bridge markdown ledger, not RAM. GAS→LIQUID→CRYSTAL gate. Hausdorff F₂↪SO(3) cos θ=⅓. Geometric_Unity_Validation: JHTDB ablation, negative JSON shipped. Beta · Apache-2.0
computational-fluid-dynamics ai-assistant falsification neurosymbolic-ai local-first-ai reproducable-research geometric-unity
-
Updated
Jun 28, 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."