Yayun Hu
Tingjia Miao
Wenkai Jin
Muhua Zhang
Jinxin Tan
Yuelin Hu
Tu Guo
Jiejun Zhang
Yuhan Wang
Wenbo Li
Yinuo Gao
Shuo Chen
Weiqi Jiang
Yayun Hu
Zixing Lei
Xianghe Pang
Zexi Liu
Yuzhi Zhang
Linfeng Zhang 0002
Kun Chen
Wei Wang
Weinan E
Siheng Chen
PRL-Bench: A Comprehensive Benchmark Evaluating LLMs' Capabilities in Frontier Physics Research.
2026
April
abs/2604.15411
CoRR
https://doi.org/10.48550/arXiv.2604.15411
db/journals/corr/corr2604.html#abs-2604-15411
streams/journals/corr
Yayun Hu
Dongfang Li
Formal Verification Technology for Asynchronous Communication Protocol.
482-486
2019
QRS Companion
https://doi.org/10.1109/QRS-C.2019.00092
conf/qrs/2019c
db/conf/qrs/qrs2019c.html#HuL19
Kun Chen
Shuo Chen
Siheng Chen
Weinan E
Yinuo Gao
Tu Guo
Yuelin Hu
Weiqi Jiang
Wenkai Jin
Zixing Lei
Dongfang Li
Wenbo Li
Zexi Liu
Tingjia Miao
Xianghe Pang
Jinxin Tan
Wei Wang
Yuhan Wang
Jiejun Zhang
Linfeng Zhang 0002
Muhua Zhang
Yuzhi Zhang