Universal Binary Semidefinite Relaxation for ML Signal Detection. - Xiaopeng Fan; Junxiao Song; Daniel P. Palomar; Oscar C. Au (IEEE Trans. Commun., 2013)

A fast algorithm for sparse generalized eigenvalue problem. - Junxiao Song; Prabhu Babu; Daniel P. Palomar (ACSSC, 2014)

Optimization methods for sequence design with low autocorrelation sidelobes. - Junxiao Song; Prabhu Babu; Daniel P. Palomar (ICASSP, 2015)

Sparse Generalized Eigenvalue Problem Via Smooth Optimization. - Junxiao Song; Prabhu Babu; Daniel Pérez Palomar (IEEE Trans. Signal Process., 2015)

Optimization Methods for Designing Sequences With Low Autocorrelation Sidelobes. - Junxiao Song; Prabhu Babu; Daniel Pérez Palomar (IEEE Trans. Signal Process., 2015)

Sequence design to minimize the peak sidelobe level. - Junxiao Song; Prabhu Babu; Daniel Pérez Palomar (ICASSP, 2016)

Sequence Design to Minimize the Weighted Integrated and Peak Sidelobe Levels. - Junxiao Song; Prabhu Babu; Daniel P. Palomar (IEEE Trans. Signal Process., 2016)

Sequence Set Design With Good Correlation Properties Via Majorization-Minimization. - Junxiao Song; Prabhu Babu; Daniel P. Palomar (IEEE Trans. Signal Process., 2016)

A Unified Framework for Low Autocorrelation Sequence Design via Majorization-Minimization. - Licheng Zhao; Junxiao Song; Prabhu Babu; Daniel P. Palomar (IEEE Trans. Signal Process., 2017)

SCC: an efficient deep reinforcement learning agent mastering the game of StarCraft II. - Xiangjun Wang; Junxiao Song; Penghui Qi; Peng Peng; Zhenkun Tang; Wei Zhang; Weimin Li; Xiongjun Pi; Jujie He; Chao Gao; Haitao Long; Quan Yuan (ICML, 2021)

DeepSeek LLM: Scaling Open-Source Language Models with Longtermism. - Xiao Bi; Deli Chen; Guanting Chen 002; Shanhuang Chen; Damai Dai; Chengqi Deng; Honghui Ding; Kai Dong 003; Qiushi Du; Zhe Fu; Huazuo Gao; Kaige Gao; et al. (CoRR, 2024)

DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models. - Zhihong Shao; Peiyi Wang; Qihao Zhu; Runxin Xu; Junxiao Song; Mingchuan Zhang; Y. K. Li; Y. Wu; Daya Guo (CoRR, 2024)

DeepSeek-V2: A Strong, Economical, and Efficient Mixture-of-Experts Language Model. - DeepSeek-AI; Aixin Liu; Bei Feng; Bin Wang 065; Bingxuan Wang; Bo Liu 039; Chenggang Zhao; Chengqi Deng; Chong Ruan; Damai Dai; Daya Guo; Dejian Yang; et al. (CoRR, 2024)

DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence. - DeepSeek-AI; Qihao Zhu; Daya Guo; Zhihong Shao; Dejian Yang; Peiyi Wang; Runxin Xu; Y. Wu; Yukun Li; Huazuo Gao; Shirong Ma; Wangding Zeng; et al. (CoRR, 2024)

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 039; Liyue Zhang; Xuan Lu; Qiushi Du; Wenjun Gao; Qihao Zhu; et al. (CoRR, 2024)

DeepSeek-V3 Technical Report. - DeepSeek-AI; Aixin Liu; Bei Feng; Bing Xue; Bingxuan Wang; Bochao Wu; Chengda Lu; Chenggang Zhao; Chengqi Deng; Chenyu Zhang; Chong Ruan; Damai Dai; et al. (CoRR, 2024)

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; et al. (ICLR, 2025)

DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning. - DeepSeek-AI; Daya Guo; Dejian Yang; Haowei Zhang; Junxiao Song; Ruoyu Zhang; Runxin Xu; Qihao Zhu; Shirong Ma; Peiyi Wang; Xiao Bi; Xiaokang Zhang; et al. (CoRR, 2025)

DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition. - Z. Z. Ren; Zhihong Shao; Junxiao Song; Huajian Xin; Haocheng Wang; Wanjia Zhao; Liyue Zhang; Zhe Fu; Qihao Zhu; Dejian Yang; Z. F. Wu; Zhibin Gou; et al. (CoRR, 2025)