Scholar
Xiaoyang Liu
Google Scholar ID: BKTfL-gAAAAJ
Shanghai Jiao Tong University
AI4Math
Lean
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
5
H-index
1
i10-index
0
Publications
3
Co-authors
1
list available
Contact
Email
xiaoyang.liu@sjtu.edu.cn
GitHub
Open ↗
Publications
4 items
VeriScale: Adversarial Test-Suite Scaling for Verifiable Code Generation
2026
Cited
0
PRISM: Prior Rectification and Uncertainty-Aware Structure Modeling for Diffusion-Based Text Image Super-Resolution
2026
Cited
0
Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees
2026
Cited
0
BinaryDemoire: Moir\'e-Aware Binarization for Image Demoir\'eing
2026
Cited
0
Resume (English only)
Co-authors
1 total
Tao Luo
Shanghai Jiao Tong University
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up