by name
Publications+Differentiable Probabilistic Logic Networks+tag
Publications+Dependent Type Networks: A Probabilistic Logic via the Curry-Howard Correspondence+tag
Publications+Neurosymbolic Hybrid Driver Collision Warning+tag
Publications+Dependent Type Networks: A Probabilistic Logic via the Curry-Howard Correspondence+author
Publications+A Probabilistic Dependent Type System based on Non-Deterministic Beta Reduction+author
Publications+A Probabilistic Dependent Type System based on Non-Deterministic Beta Reduction+tag
Publications+A step from probabilistic programming to cognitive architectures+author
Publications+A step from probabilistic programming to cognitive architectures+tag
Hyperon AI Algorithms+MeTTa-Motto+MeTTa-Motto Primer+tag
Hyperon AI Algorithms+MOSES (Meta-Optimizing Semantic Evolutionary Search)+MOSES Primer+tag
Hyperon Wiki Extensions+MeTTaLog (Legacy)+MeTTaLog Primer+tag
Cognitive Architecture & Research+Predictive and Causal Coding+Predictive and Causal Coding Primer+tag
Knowledge Representations+MORK (MeTTa Optimized Reduction Kernel)+MORK Primer+tag
External Agent Workflows+uAgents Agent Framework+tag
MeTTa Programming Language+PeTTa+PeTTa Primer+tag
Publication Maps+SubRep Deep Dive+tag
Hyperon AI Algorithms+AIRIS (Autonomous Intelligent Reinforcement Inferred Symbolism)+AIRIS Primer+tag
Hyperon AI Algorithms+MetaMo (Motivational Framework)+MetaMo Primer+tag
Knowledge Representations+DAS (Distributed AtomSpace)+DAS Primer+tag
Publication Maps+Cross-Org Cognitive Repo Sweeps Synthesis+tag