ies/music-topos/.codex/skills/feedforward-learning-local/SKILL.md
# Feedforward Learning Local **Category:** Phase 3 Core - Alternative Learning Paradigms **Status:** Skeleton Implementation **Dependencies:** None (standalone learning framework) ## Overview Implements forward-forward (FF) learning algorithm and variants that eliminate backpropagation through local, layer-wise contrastive objectives. Each layer learns to distinguish positive from negative data independently. ## Capabilities - **Forward-Forward Algorithm**: Hinton's layer-local learning - *
npx skillsauth add plurigrid/asi ies/music-topos/.codex/skills/feedforward-learning-localInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
Category: Phase 3 Core - Alternative Learning Paradigms Status: Skeleton Implementation Dependencies: None (standalone learning framework)
Implements forward-forward (FF) learning algorithm and variants that eliminate backpropagation through local, layer-wise contrastive objectives. Each layer learns to distinguish positive from negative data independently.
FF Layer (ff_layer.jl)
Contrastive Learning (contrastive_learning.jl)
Statistical Coordination (statistical_coordination.jl)
FF Network (ff_network.jl)
emergent-role-assignment (decentralized learning signals)categorical-composition (compositional learning)using FeedforwardLearningLocal
# Create FF network
network = FFNetwork([
FFLayer(input_dim=784, hidden_dim=500, threshold=2.0),
FFLayer(input_dim=500, hidden_dim=500, threshold=2.0),
FFLayer(input_dim=500, hidden_dim=10, threshold=1.0)
])
# Train on MNIST
for (x_pos, y) in train_data
# Generate negative data by corrupting label
x_neg = overlay_wrong_label(x_pos, y)
# Local learning at each layer
train_step!(network, x_pos, x_neg)
end
# Inference
predictions = predict(network, test_data)
development
BDD-Driven Mathematical Content Verification Skill Combines Behavior-Driven Development with mathematical formula extraction, verification, and transformation using: - Cucumber/Gherkin for specification - RSpec for implementation verification - mathpix-gem for LaTeX/mathematical content extraction - Pattern matching on syntax trees for formula validation Enables iterative discovery and verification of mathematical properties through executable specifications.
tools
Meta-skill that generates domain-specific AI skills from tool documentation
development
Code Query with AI-enhanced deterministic analysis via SplitMix ternary classification
development
Directed Yoneda lemma as directed path induction. Riehl-Shulman's key insight for synthetic ∞-categories.