trueagi-io / hyperon-experimental
MeTTa programming language implementation
☆150Updated this week
Related projects ⓘ
Alternatives and complementary repositories for hyperon-experimental
- Neuro-symbolic interpretation learning (mostly just language-learning, for now)☆137Updated last month
- Discussion of MeTTa programming with examples☆20Updated this week
- Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.☆73Updated 3 months ago
- GPT-based language channel for NARS (ONA)☆26Updated 5 months ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆39Updated last year
- Cognitive Computing with Associative Memory☆30Updated 9 months ago
- This repository explains and provides examples for "concept anchoring" in GPT4.☆72Updated 10 months ago
- General reasoning component for applications based on NARS theory.☆91Updated last month
- Meaning is not necessary☆82Updated 9 months ago
- A NARS implemented as a GPT model prompted to invoke reasoning steps, with NARS-based memory and control machinery implemented in Python.☆40Updated 9 months ago
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆235Updated 2 weeks ago
- LLM-powered autonomous agent with hierarchical task management☆45Updated last year
- Reinforcement Learning with Heuristic Imperatives - Finetuning LLMs for Post-Conventional Moral Intuition☆64Updated last year
- LUI: Autonomous Collective Decision Making via Large Language Models☆104Updated last year
- Reduce suffering, increase prosperity, increase understanding. A proposed framework to address the Control Problem.☆140Updated last year
- Neural Simulator for AGI research and development☆88Updated 4 months ago
- Flexible, scalable and customizable agents to do your bidding.☆73Updated 4 months ago
- Rational OpenCog Controlled Agent (ROCCA). Use OpenCog to control a rational agent in OpenAI Gym and Malmo environments.☆32Updated last year
- A framework for generative software.☆95Updated this week
- The GeoV model is a large langauge model designed by Georges Harik and uses Rotary Positional Embeddings with Relative distances (RoPER).…☆122Updated last year
- The OpenCog (hyper-)graph database and graph rewriting system☆826Updated 6 months ago
- Grounding LLM mathematical reasoning with proof assistants.☆60Updated last year
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆181Updated this week
- MEGA is a novel general purpose Genetic Algorithm frame work. That brings new Ideas and Features into the ML sphere such as transfer lea…☆21Updated this week
- ☆236Updated 4 years ago
- Public repo for my book about AGI and the control problem Benevolent By Design: Six Words to Safeguard Humanity☆96Updated 2 years ago
- My writings about ARC (Abstraction and Reasoning Corpus)☆59Updated last week
- ☆28Updated last year
- A Python implementation of the ACT-R cognitive Architecture☆27Updated last year
- Generative Agents: Interactive Simulacra of Human Behavior - with Local LLMs☆13Updated last year