Zhong, Xiangru

3 publications

NeurIPS 2025 Abstract Rendering: Certified Rendering Under 3D Semantic Uncertainty Chenxi Ji, Yangge Li, Xiangru Zhong, Huan Zhang, Sayan Mitra
L4DC 2025 Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems Haoyu Li, Xiangru Zhong, Bin Hu, Huan Zhang
NeurIPS 2025 Two‑Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion Haoyu Li, Xiangru Zhong, Bin Hu, Huan Zhang