Yang, Dejian

4 publications

ICML 2025 CodeIO: Condensing Reasoning Patterns via Code Input-Output Prediction Junlong Li, Daya Guo, Dejian Yang, Runxin Xu, Yu Wu, Junxian He

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

IJCAI 2022 CERT: Continual Pre-Training on Sketches for Library-Oriented Code Generation Daoguang Zan, Bei Chen, Dejian Yang, Zeqi Lin, Minsu Kim, Bei Guan, Yongji Wang, Weizhu Chen, Jian-Guang Lou

AAAI 2018 Neural Response Generation with Dynamic Vocabularies Yu Wu, Wei Wu, Dejian Yang, Can Xu, Zhoujun Li