3 papers
cs.LG2026
Neural Operator-enabled Topology-informed Evolutionary Strategy for PDE-Constrained Optimization
Xiangming Huang, Guannan Zhang, Lu Lu +1
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…
cs.LO2026
Ripple: An Open, AI-Formalized Lean 4 Framework for Computing with CRNs
Ho-Lin Chen, Xiang Huang
We present Ripple, an open, AI-formalized Lean 4 framework for the mathematics of computing with chemical reaction networks (CRNs) -- one extensible, machine-checked development th…
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…