ai-assisted formalization 1chemical reaction networks 1formal verification 1lean 4 1real number computation 1
From the 2 of 2 linked papers with an AI index.
2 papers
cs.LO2026
Ripple: An Open, AI-Formalized Lean 4 Framework for Computing with CRNs
Ho-Lin Chen, Xiang Huang
Ripple is an open Lean 4 framework, largely built by AI agents, that formally verifies the mathematics of computing real numbers with chemical reaction networks, covering models, c…
cs.CC2026
Bounded Analog Complexity
Ho-Lin Chen, Xiang Huang
Current analog complexity theory, built on the General-Purpose Analog Computer (GPAC) model and polynomial ODEs, allows unbounded state variables -- an assumption that is physicall…