Zhouxing Shi
Scholar

Zhouxing Shi

Google Scholar ID: YFIr4PwAAAAJ
Assistant Professor, University of California, Riverside
Machine LearningTrustworthy AI
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,535
 
H-index
15
 
i10-index
17
 
Publications
20
 
Co-authors
28
list available
Contact
No contact links provided.
Publications
9 items
Formalize Once, Edit the Rest: Efficient Lean-Based Answer Selection for Math Reasoning
2026
Cited
0
Evaluating the Robustness of Proof Autoformalization in Lean 4
2026
Cited
0
GRLO: Towards Generalizable Reinforcement Learning in Open-Ended Environments from Zero
2026
Cited
0
PII-VisBench: Evaluating Personally Identifiable Information Safety in Vision Language Models Along a Continuum of Visibility
arXiv.org · 2026
Cited
0
Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
2025
Cited
0
PIKA: Expert-Level Synthetic Datasets for Post-Training Alignment from Scratch
2025
Cited
0
Testing Neural Network Verifiers: A Soundness Benchmark with Hidden Counterexamples
arXiv.org · 2024
Cited
1
Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
2024
Cited
0
Resume (English only)
Co-authors
28 total
Cho-Jui Hsieh
Cho-Jui Hsieh
University of California, Los Angeles
Huan Zhang
Huan Zhang
Assistant Professor at University of Illinois Urbana-Champaign
Co-author 3
Co-author 3
Kai-Wei Chang
Kai-Wei Chang
Associate Professor, UCLA
Pin-Yu Chen
Pin-Yu Chen
Principal Research Scientist, IBM Research AI; MIT-IBM Watson AI Lab; RPI-IBM AIRC
Rulin Shao
Rulin Shao
University of Washington
Co-author 7
Co-author 7
Kaidi Xu
Kaidi Xu
Associate Professor, City University of Hong Kong