ai-assisted formalization 1chemical reaction networks 1formal verification 1lean 4 1real number computation 1
From the 2 of 3 linked papers with an AI index.
3 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…
cs.LG2026
Neural Operator-enabled Topology-informed Evolutionary Strategy for PDE-Constrained Optimization
Xiangming Huang, Guannan Zhang, Lu Lu +2
The inverse design of physical systems governed by partial differential equations is computationally demanding due to the high dimensionality and non-convexity of design spaces. Ge…