works on
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.

collaborators
Showing cs.CCShow all

1 paper · 1 filter

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…