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