Scholar
Xiangru Zhong
Google Scholar ID: ltuTQBIAAAAJ
University of Illinois Urbana-Champaign
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
13
H-index
2
i10-index
0
Publications
5
Co-authors
0
Publications
5 items
Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
2026
Cited
0
TorchLean: Formalizing Neural Networks in Lean
2026
Cited
0
Two-Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion
2025
Cited
0
Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems
2025
Cited
0
Abstract Rendering: Computing All Seen in Gaussian Splat Scenes
2025
Cited
0
