Bao, Kangjie

2 publications

ICLR 2026 Let's Explore Step by Step: Generating Provable Formal Statements with Deductive Exploration Qi Liu, Kangjie Bao, Yue Yang, Xinhao Zheng, Renqiu Xia, Qinxiang Cao, Junchi Yan

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