Deep ReLU Networks Have Surprisingly Simple Polytopes. - Feng-Lei Fan; Wei Huang 002; Xiangru Zhong; Lecheng Ruan; Tieyong Zeng; Huan Xiong; Fei Wang 001 (CoRR, 2023)

Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems. - Haoyu Li; Xiangru Zhong; Bin Hu; Huan Zhang (L4DC, 2025)

Abstract Rendering: Computing All that is Seen in Gaussian Splat Scenes. - Yangge Li; Chenxi Ji; Xiangru Zhong; Huan Zhang; Sayan Mitra (CoRR, 2025)

Two-Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion. - Haoyu Li; Xiangru Zhong; Bin Hu; Huan Zhang (CoRR, 2025)