Scholar
Zhouxing Shi
Google Scholar ID: YFIr4PwAAAAJ
Assistant Professor, University of California, Riverside
Machine Learning
Trustworthy AI
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,535
H-index
15
i10-index
17
Publications
20
Co-authors
28
list available
Publications
10 items
Recursive Self-Improvement via On-Policy Distillation for Reasoning
2026
Cited
0
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
Load more
Co-authors
16 total
Cho-Jui Hsieh
University of California, Los Angeles
Huan Zhang
Assistant Professor at University of Illinois Urbana-Champaign
Kai-Wei Chang
Associate Professor, UCLA
Pin-Yu Chen
Principal Research Scientist, IBM Research AI; MIT-IBM Watson AI Lab; RPI-IBM AIRC
Rulin Shao
University of Washington
Kaidi Xu
Associate Professor, City University of Hong Kong
Bhavya Kailkhura
Research Scientist, Lawrence Livermore National Laboratory
Zico Kolter
Carnegie Mellon University
