Lu, Shan

4 publications

ICLR 2025 Automated Proof Generation for Rust Code via Self-Evolution Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu K Lahiri, Tao Xie, Lidong Zhou

ECCV 2022 LA3: Efficient Label-Aware AutoAugment Mingjun Zhao, Shan Lu, Zixuan Wang, Xiaoli Wang, Di Niu

ICML 2020 Orthogonalized SGD and Nested Architectures for Anytime Neural Networks Chengcheng Wan, Henry Hoffmann, Shan Lu, Michael Maire

CVPR 2003 Using Multiple Cues for Hand Tracking and Model Refinement Shan Lu, Dimitris N. Metaxas, Dimitris Samaras, John Oliensis