Jiashuo Zhang — accepted AI-conference papers

2025

ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data

Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, Yunqi Liu, Yu Chen, Yuntian Liu +2

NeurIPS 2025poster

Autoformalization, the automatic translation of mathematical content from natural language into machine-verifiable formal languages, has seen significant progress driven by advances in large language models (LLMs). Nonetheless, a primary barrier to further improvements is the limited availability of…

Cited by 0 Source ↗code ↗Scholar ↗

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

IJCAI 2022poster

Sign language is the communication language used in hearing impaired community. Recently, the research of sign language production has made great progress but still need to cope with some critical challenges. In this paper, we propose a system-level scheme and push forward the implementation of sign…

Cited by 6 Source ↗PDF ↗Scholar ↗