Popular repositories Loading
-
-
PC-Transformers
PC-Transformers PublicAn experiment on building a predictive coding based transformer architecture.
-
-
-
hyperon-openpsi
hyperon-openpsi PublicThis repository contains meTTa experiments for the OpenPsi Architecture.
-
Mathematics-ai-atp
Mathematics-ai-atp PublicAutomated theorem prover integrating Graph Neural Networks (GNNs) with Probabilistic Logic Network( PLN) backward chaining
Repositories
- Neuro-Symbolic-LLM Public
A JAX implementation of a PC/CC residual layer with a symbolic head on top of frozen LLMs — enabling neuro-symbolic reasoning, interpretability, and continual learning at a fraction of the cost of training full PC models from scratch.
- hybrid-miner Public
- cordial-f1r3node Public
A Rust implementation of the Cordial Miners consensus protocol, designed as a pluggable alternative to CBC Casper in f1r3node. Blocklace DAG, supermajority finality, structural equivocation detection, and a bridge layer for the Casper trait.
- hopfieldpc-memory-core Public
Standalone modern Hopfield memory core for HopfieldPC, including beta-controlled associative retrieval, diagnostics, synthetic benchmarks, and tests before FabricPC integration.
- persistent-atp Public
An experimental prototype for a persistent proof search with the utilization of agentic orchestration
- Mathematics-ai-atp Public
Automated theorem prover integrating Graph Neural Networks (GNNs) with Probabilistic Logic Network( PLN) backward chaining
Top languages
Loading…
Most used topics
Loading…