Zobrazeno 1 - 10
of 374
pro vyhledávání: '"Wang Haocheng"'
Autor:
Xin, Huajian, Ren, Z. Z., Song, Junxiao, Shao, Zhihong, Zhao, Wanjia, Wang, Haocheng, Liu, Bo, Zhang, Liyue, Lu, Xuan, Du, Qiushi, Gao, Wenjun, Zhu, Qihao, Yang, Dejian, Gou, Zhibin, Wu, Z. F., Luo, Fuli, Ruan, Chong
We introduce DeepSeek-Prover-V1.5, an open-source language model designed for theorem proving in Lean 4, which enhances DeepSeek-Prover-V1 by optimizing both training and inference processes. Pre-trained on DeepSeekMath-Base with specialization in fo
Externí odkaz:
http://arxiv.org/abs/2408.08152
Publikováno v:
In International Journal of Hydrogen Energy 27 December 2024 96:680-691
Autor:
Yang, Yayong, Sun, Hongyu, Liu, Zihao, Wang, Haocheng, Zheng, Rendong, Kanchanatip, Ekkachai, Yan, Mi
Publikováno v:
In Waste Management 15 December 2024 190:318-328
Autor:
Wang, Haocheng, Luo, Chuanhai, Rahim, Dicka Ar, Yang, Yayong, Kong, Xiangzhi, Zhu, Guolei, Qian, Xuming, Yan, Mi
Publikováno v:
In Process Safety and Environmental Protection December 2024 192:1228-1237
Publikováno v:
In International Journal of Refrigeration November 2024 167:185-200
Autor:
Wu, Ziying, Chen, Kun, Mo, Weisheng, Wang, Yue, Lin, Xiewei, Lan, Zhien, Mo, Caijing, Wang, Haocheng, Li, Xiaoying, Fan, Xingdi, Chen, Hungchen, Shu, Zhilin, Wang, Shengtao, Yu, Zhiqiang, Cui, Chunhui
Publikováno v:
In Chemical Engineering Journal 15 October 2024 498
Publikováno v:
In International Journal of Heat and Mass Transfer January 2025 236 Part 1
Autor:
Wen, Yi, Fu, Zhushan, Li, Jiashuo, Liu, Mingyue, Wang, Xinmiao, Chen, Jingqi, Chen, Yue, Wang, Haocheng, Wen, Sihang, Zhang, Ke, Deng, Yu
Publikováno v:
In Journal of Hazardous Materials 5 September 2024 476
Autor:
Yan, Mi, Wang, Haocheng, Liu, Yu, Luo, Chuanhai, Yang, Yayong, Grisdanurak, Nurak, Kanchanatip, Ekkachai, Rahim, Dicka Ar
Publikováno v:
In Journal of Analytical and Applied Pyrolysis September 2024 182
Publikováno v:
In Energy Conversion and Management 15 August 2024 314