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