Framework and Language for Neurosymbolic Programming.
-
Updated
May 1, 2025 - Rust
#
neurosymbolic
Here are 2 public repositories matching this topic...
Extensible Cognitive Hybrid Intelligence for Deductive Neural Assistance. A neurosymbolic theorem proving platform that transforms Quill (Agda-only neural solver) into a universal multi-prover system with aspect tagging, OpenCyc integration, and DeepProbLog probabilistic logic.
mathematics proofs solvers echidna deductive-reasoning opencyc neurosymbolic deepproblog rhodium-standard echidnabot
-
Updated
Dec 18, 2025 - Rust
Improve this page
Add a description, image, and links to the neurosymbolic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the neurosymbolic topic, visit your repo's landing page and select "manage topics."