Zhang, Jiashuo

2 publications

NeurIPS 2025 ATLAS: Autoformalizing Theorems Through Lifting, Augmentation, and Synthesis of Data Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, Yunqi Liu, Yu Chen, Yuntian Liu, Yang Jiao, Tao Luo

IJCAI 2022 A Speech-Driven Sign Language Avatar Animation System for Hearing Impaired Applications Li Hu, Jiahui Li, Jiashuo Zhang, Qi Wang, Bang Zhang, Ping Tan