Scholar

Xiangru Zhong

Google Scholar ID: ltuTQBIAAAAJ

University of Illinois Urbana-Champaign

Google Scholar↗

Citations & Impact

All-time

Citations

13

H-index

2

i10-index

0

Publications

5

Co-authors

0

Contact

No contact links provided.

Publications

4 items

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

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)