?
today
local_bar
search
Xiaoyang Liu
PhD student, Shanghai Jiaotong University
1 paper at NeurIPS 2025
Homepage
·
OpenReview
·
Semantic Scholar
·
Google Scholar
Poster Session 2
1 paper
Wednesday, December 3, 2025 · 4:30 PM → 7:30 PM
Exhibit Hall C,D,E
ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
star
#206
·
Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, Yunqi Liu, Yu Chen, Yuntian Liu, Yang Jiao, Tao Luo
