α
Research
Alpha Leak
Conferences
Topics
Top Authors
Rankings
Browse All
EN
中
Home
/
Authors
/
Chuanyang Zheng
Chuanyang Zheng
4
papers
116
total citations
papers (4)
LEGO-Prover: Neural Theorem Proving with Growing Libraries
ICLR 2024
arXiv
112
citations
Towards Better Vision-Inspired Vision-Language Models
CVPR 2024
2
citations
SAS: Simulated Attention Score
NEURIPS 2025
arXiv
2
citations
SAViT: Structure-Aware Vision Transformer Pruning via Collaborative Optimization
NEURIPS 2022
0
citations