paper-with-me

홈 › Papers

Exact Fixed-Point Constraints in Neural-ODEs with Provable Universality

2026-05-11 · Feliciano Giuseppe Pacifico, Duccio Fanelli, Lorenzo Buffoni, Lorenzo Chicchi, Diego Febbe, Raffaele Marino arxiv

We introduce a technique that enables Neural-ODEs to approximate arbitrary velocity fields with a priori planted fixed-points. Specifically, a recipe is given to explicitly accommodate for a finite collection of points in the reference multi-dimensional space of the Neural-ODE where the velocity field is exactly equal to zero. In this way, the gradient-based training is rigorously constrained inside the prescribed hypothesis class while leaving the expressive power of the Neural-ODE unaltered. We rigorously prove the universality of the Neural-ODE under any local constraints in the velocity field and give a computationally convenient way of imposing the fixed points. Our method is then tested on two paradigmatic physical models.

📄 PDF Abstract BibTeX arXiv:2605.10613

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Approximately Solving Mean Field Games via Entropy-Regularized Deep Reinforcement Learning

2021-02-02 · Kai Cui, Heinz Koeppl

The recent mean field game (MFG) formalism facilitates otherwise intractable computation of approximate Nash equilibria in many-agent settings. In this paper, we consider discrete-time finite MFGs subject to finite-horiz…

Deep Reinforcement Learningreinforcement-learningReinforcement Learning (RL)

Provable Certificates for Adversarial Examples: Fitting a Ball in the Union of Polytopes

2019-03-20 · NeurIPS 2019 12 · Matt Jordan, Justin Lewis, Alexandros G. Dimakis

We propose a novel method for computing exact pointwise robustness of deep neural networks for all convex $\ell_p$ norms. Our algorithm, GeoCert, finds the largest $\ell_p$ ball centered at an input point $x_0$, within w…

Provably Convergent Plug-and-Play Quasi-Newton Methods

2023-03-09 · Hong Ye Tan, Subhadip Mukherjee, Junqi Tang, Carola-Bibiane Schönlieb

Plug-and-Play (PnP) methods are a class of efficient iterative methods that aim to combine data fidelity terms and deep denoisers using classical optimization algorithms, such as ISTA or ADMM, with applications in invers…

DeblurringImage DeblurringSuper-Resolution

Accurate, provable, and fast nonlinear tomographic reconstruction: A variational inequality approach

2025-03-13 · Mengqi Lou, Kabir Aladin Verchand, Sara Fridovich-Keil, Ashwin Pananjady

We consider the problem of signal reconstruction for computed tomography (CT) under a nonlinear forward model that accounts for exponential signal attenuation, a polychromatic X-ray source, general measurement noise (e.g…

Computed Tomography (CT)

Fixed time convergence guarantees for Higher Order Control Barrier Functions

2025-07-18 · Janani S K, Shishir Kolathaya arxiv

We present a novel method for designing higher-order Control Barrier Functions (CBFs) that guarantee convergence to a safe set within a user-specified finite. Traditional Higher Order CBFs (HOCBFs) ensure asymptotic safe…