Skip to content

Wenjun Gao

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

6

Venues

6

Active years

2009–2025

Best venue rank

A*

Where they publish

Papers

6 indexed papers, newest first.

YearVenueTitleAuthors
2025ICLRDeepSeek-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
2024SCFire-Flyer AI-HPC: A Cost-Effective Software-Hardware Co-Design for Deep Learning.Wei An, Xiao Bi, Guanting Chen, Shanhuang Chen, Chengqi Deng, Honghui Ding, Kai Dong, Qiushi Du, Wenjun Gao, Kang Guan, Jianzhong Guo, Yongqiang Guo, Zhe Fu, Ying He, Panpan Huang, Jiashi Li, Wenfeng Liang, Xiaodong Liu, Xin Liu, Yiyuan Liu, Yuxuan Liu, Shanghao Lu, Xuan Lu, Xiaotao Nie, Tian Pei, Junjie Qiu, Hui Qu, Zehui Ren, Zhangli Sha, Xuecheng Su, Xiaowen Sun, Yixuan Tan, Minghui Tang, Shiyu Wang, Yaohui Wang, Yongji Wang, Ziwei Xie, Yiliang Xiong, Yanhong Xu, Shengfeng Ye, Shuiping Yu, Yukun Zha, Liyue Zhang, Haowei Zhang, Mingchuan Zhang, Wentao Zhang, Yichao Zhang, Chenggang Zhao, Yao Zhao, Shangyan Zhou, Shunfeng Zhou, Yuheng Zou
2016IGARSSJoint calibration for three-dimensional location and backscatter distortion during SAR interferometry mapping.Yongfei Mao, Wenjun Gao, Yunzhong Han
2011CICLINGLabelwise Margin Maximization for Sequence Labeling.Wenjun Gao, Xipeng Qiu, Xuanjing Huang
2011ICNCStudy on the application of improved simulated annealing algorithm for several types of optimization problems.Qiang Wang, Huoming Zhang, Juan Jiang, Wenjun Gao, Zhou Zhao
2009ACLHierarchical Multi-Label Text Categorization with Global Margin Maximization.Xipeng Qiu, Wenjun Gao, Xuanjing Huang