Liu, Yuntian

2 publications

ICLR 2026 ASSESS: A Semantic and Structural Evaluation Framework for Statement Similarity Xiaoyang Liu, Tao Zhu, Zineng Dong, Yuntian Liu, Guo Qingfeng, Liu ZhaoXuan, Yu Chen, Tao Luo

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