Lean 4 formal verification of the exact heterogeneity threshold for stationary covariance-volume enhancement in coupled Ornstein–Uhlenbeck systems.
Lean Updated 24 days ago 1 commits 1 stars
vortex-ai|Mirror: innerlightr-wq/ou-threshold-lean (⭐1)
24 days agoAbout
Lean 4 formal verification of the exact heterogeneity threshold for stationary covariance-volume enhancement in coupled Ornstein–Uhlenbeck systems.
Readme
1 stars