Skip to content
#

gradient-flow

Here are 31 public repositories matching this topic...

Independent research on inactive-neuron entry-exit dynamics, with mathematical analysis, archived experiments, reproducibility guides, and a connected research roadmap.

  • Updated Oct 11, 2026
  • Python

Lean 4 / Mathlib formalization of finite-N Kuramoto synchronization: ODE existence + uniqueness, order-parameter bounds, Lyapunov descent, and convergence to synchrony for all-to-all AND general symmetric coupling with a uniform positive off-diagonal floor. Sorry-free, axiom footprint {propext, Classical.choice, Quot.sound}.

  • Updated Aug 25, 2026
  • Lean

A detailed-balanced chemical reaction network realized as a gradient flow, where equilibrium propagation is rigorous — the chemistry computes its own weight update (verified: local update == true gradient). Audits 'who computes the update?' across a co-location spectrum vs an offline ceiling. Part of physical-learning-substrates.

  • Updated Jun 24, 2026
  • Python

Add this topic to your repo

To associate your repository with the gradient-flow topic, visit your repo's landing page and select "manage topics."

Learn more