Zobrazeno 1 - 10
of 326
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
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
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
Publikováno v:
In International Journal of Hydrogen Energy 4 September 2024 81:765-773
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
Autor:
Yan, Mi, Luo, Chuanhai, Ar Rahim, Dicka, Liu, Yu, Wang, Haocheng, Ye, Jinghao, Sun, Yansong, Kanchanatip, Ekkachai
Publikováno v:
In Energy Conversion and Management 15 August 2024 314
Publikováno v:
In Energy Conversion and Management 15 August 2024 314
Publikováno v:
In International Journal of Multiphase Flow August 2024 178
Publikováno v:
In International Journal of Heat and Mass Transfer January 2025 236 Part 1
Publikováno v:
Zhongguo quanke yixue, Vol 26, Iss 34, Pp 4351-4358 (2023)
Background The interRAI Home Care (interRAI HC) is a commonly used international assessment tool, which plays an important role in guiding medical staff to provide home-based care service for the elderly. However, there is a lack of systematic analys
Externí odkaz:
https://doaj.org/article/69db3c7b8d10402a9aaf0ac4203ee1cb