Xiangru Zhong

Identifiers

• name variant Xiangru Zhong 0.60 · backfill

Papers (3)

1. Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial eess.SY · 2026 · author #2
2. TorchLean: Formalizing Neural Networks in Lean cs.MS · 2026 · author #4
3. Fast and Certified Bounding of Security-Constrained DCOPF via Interval Bound Propagation eess.SY · 2025 · author #2

Mentions

• 2605.26577 #2 · arxiv_oai · confidence 0.70 Xiangru Zhong
• 2602.22631 #4 · arxiv_oai · confidence 0.70 Xiangru Zhong

Frequent Coauthors

• Huan Zhang 3 shared papers
• Anima Anandkumar 1 shared papers
• Bin Hu 1 shared papers
• Eren Tekeler 1 shared papers
• Hao Cheng 1 shared papers
• Haoyu Li 1 shared papers
• Jennifer Cruden 1 shared papers
• Robert Joseph George 1 shared papers
• Samuel Chevalier 1 shared papers
• Will Adkisson 1 shared papers