Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics

In this work, we propose a data-driven approach for the stability analysis of discrete-time homogeneous nonlinear systems with unknown models. The proposed framework is based on constructing Lyapunov functions via a set of data, collected from trajectories of unknown systems, while providing an a-priori guaranteed confidence on the stability of...

Nessy: A Neuro-Symbolic System for Label Noise Reduction

Noisy labels represent one of the key issues in supervised machine learning. Existing work for label noise reduction mainly takes a probabilistic approach that infers true labels from data distributions in low-level feature spaces. Such an approach is not only limited by its capability to learn high-quality data representations, but also by...