Bao, Kangjie

1. ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
   2025/02/08 by Liu, Xiaoyang, Bao, Kangjie, Zhang, Jiashuo +5 · 9 citations
   #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)