Correlated Cos V2
Mathematics verified. Core theorems are machine-checked in Lean 4.
Prose and presentation may not have been human-reviewed.
Abstract
Correlated COS v2 (Correlated COS Method) — Newton proofs
This paper presents 24 machine-verified theorems building on 0 established facts and 4 hypotheses. All results are formally verified in the Lean 4 (59 verification units, 35 proved statements) and exportable to Lean 4.
<!-- TODO: Write a proper abstract summarizing the key contributions -->
Length
562 words
Claims
24 theorems
Status
Skeleton
Novelty
No novel contribution is articulated — the paper is a skeleton listing 24 formally verified theorems (cap-floor parity, OU process properties, COS truncation bounds) without any narrative, proofs, or context explaining what is new beyond mechanical verification.