Lu, Xuan

4 publications

ICLR 2025 DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search Huajian Xin, Z.Z. Ren, Junxiao Song, Zhihong Shao, Wanjia Zhao, Haocheng Wang, Bo Liu, Liyue Zhang, Xuan Lu, Qiushi Du, Wenjun Gao, Haowei Zhang, Qihao Zhu, Dejian Yang, Zhibin Gou, Z.F. Wu, Fuli Luo, Chong Ruan

ECML-PKDD 2025 Towards Deeper GCNs: Alleviating Over-Smoothing via Iterative Training and Fine-Tuning Furong Peng, Jinzhen Gao, Xuan Lu, Kang Liu, Yifan Huo, Sheng Wang

AAAI 2024 Cross-Domain Contrastive Learning for Time Series Clustering Furong Peng, Jiachen Luo, Xuan Lu, Sheng Wang, Feijiang Li

IJCAI 2020 Emoji-Powered Representation Learning for Cross-Lingual Sentiment Classification (Extended Abstract) Zhenpeng Chen, Sheng Shen, Ziniu Hu, Xuan Lu, Qiaozhu Mei, Xuanzhe Liu