Junxiao Song
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICLR | 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 |
| 2021 | ICML | 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 |
| 2016 | ICASSP | Sequence design to minimize the peak sidelobe level. | Junxiao Song, Prabhu Babu, Daniel Prez Palomar |
| 2015 | ICASSP | Optimization methods for sequence design with low autocorrelation sidelobes. | Junxiao Song, Prabhu Babu, Daniel P. Palomar |
| 2014 | ACSSC | A fast algorithm for sparse generalized eigenvalue problem. | Junxiao Song, Prabhu Babu, Daniel P. Palomar |