Xiangru Zhong

According to our database, Xiangru Zhong authored at least 6 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

TorchLean: Formalizing Neural Networks in Lean.

Robert Joseph George, Jennifer Cruden, Xiangru Zhong, Huan Zhang, Anima Anandkumar

CoRR, February, 2026

2025

Fast and Certified Bounding of Security-Constrained DCOPF via Interval Bound Propagation.

Eren Tekeler, Xiangru Zhong, Huan Zhang, Samuel Chevalier

CoRR, November, 2025

Two-Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion.

Haoyu Li, Xiangru Zhong, Bin Hu, Huan Zhang

CoRR, June, 2025

Abstract Rendering: Computing All that is Seen in Gaussian Splat Scenes.

Yangge Li, Chenxi Ji, Xiangru Zhong, Huan Zhang, Sayan Mitra

CoRR, March, 2025

Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems.

Haoyu Li, Xiangru Zhong, Bin Hu, Huan Zhang

Proceedings of the 7th Annual Learning for Dynamics & Control Conference, 2025

2023

Deep ReLU Networks Have Surprisingly Simple Polytopes.

Feng-Lei Fan, Wei Huang, Xiangru Zhong, Lecheng Ruan, Tieyong Zeng, Huan Xiong, Fei Wang

CoRR, 2023