Back to search
2106.13898

Closed-form Continuous-Depth Models

Ramin Hasani, Mathias Lechner, Alexander Amini, Lucas Liebenwein, Max Tschaikowski, Gerald Teschl, Daniela Rus

wrongmedium confidence
Category
math.DS
Journal tier
Strong Field
Processed
Sep 28, 2025, 12:56 AM

Audit review

The paper’s Theorem 1 claims an approximate closed-form for the IVP (1), but its derivation silently replaces the Af(I) drive from (1) with A(wτ + f(I)) when applying the integrating-factor trick, which is the only way their inner integral disappears. This altered ODE is made explicit in their “Integral closed-form solution” step and leads to x(t) = (x0 − A) e^{−wτ t − ∫0^t f(I(s)) ds} + A (their Eq. (4)), not the solution of (1) with b(t) = A f(I(t), θ) . Consequently, the paper’s constant-input limit is A (via the altered ODE), whereas the true equilibrium of (1) is A f0/(wτ + f0). The candidate solution derives the correct integrating-factor formula for the Af(I) case (keeping the nested integral), gives the standard piecewise-constant reduction, and a clean convergence argument—precisely what (1) requires. Hence, the paper’s proof is incorrect as stated for (1), while the model solution is correct for the posed IVP.

Referee report (LaTeX)

\textbf{Recommendation:} major revisions

\textbf{Journal Tier:} strong field

\textbf{Justification:}

The core theoretical claim conflates two distinct inhomogeneities: the stated IVP uses Af(I), but the derivation that removes the nested integral switches to A(wτ + f(I)). This materially changes the dynamics (e.g., the equilibrium under constant input) and is not a benign simplification. The architecture may still be valuable as a surrogate motivated by the altered ODE; however, the theorem and proof must be corrected to accurately reflect the ODE being solved and the assumptions required for the approximation.