Bao, Kangjie

1 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