首次获取该候选人的完整档案及 StartLux 评估共 20 积分；每位用户单独解锁，之后查看免费。主动刷新 20 积分。
实时查找电子邮箱，费用不超过20积分；未找到邮箱不扣费。
Haochen Wang · Yuhao Wang · Tao Zhang · Yikang Zhou · Yanwei Li · Jiacong Wang · Jiani zheng · Ye Tian · Jiahao Meng · Zilong Huang · Guangcan Mai · Anran Wang · Yunhai Tong · Zhuochen Wang · Xiangtai Li · Zhaoxiang Zhang
Ruibin Yuan · Hanfeng Lin · Shuyue Guo · Ge Zhang · Jiahao Pan · Yongyi Zang · Haohe Liu · Yiming Liang · Wenye Ma · Xingjian Du · Xeron Du · Zhen Ye · Tianyu Zheng · Zhengxuan Jiang · Yinghao Ma · Minghao Liu · Zeyue Tian · Ziya Zhou · Liumeng Xue · Xingwei Qu · Yizhi Li · Shangda Wu · Tianhao Shen · Ziyang Ma · Jun Zhan · Chunhui Wang · Yatian Wang · Xiaowei Chi · Xinyue Zhang · Zhenzhu Yang · XiangzhouWang · Shansong Liu · Lingrui Mei · Peng Li · JUNJIE WANG · Jianwei Yu · Guojian Pang · Xu Li · Zihao Wang · Xiaohuan Zhou · Lijun Yu · Emmanouil Benetos · Yong Chen · Chenghua Lin · Xie Chen · Gus Xia · Zhaoxiang Zhang · Chao Zhang · Wenhu Chen · Xinyu Zhou · Xipeng Qiu · Roger Dannenberg · JIAHENG LIU · Jian Yang · Wenhao Huang · Wei Xue · Xu Tan · Yike Guo
Caorui Li · Yu Chen · Yiyan Ji · Jin Xu · Zhenyu Cui · Shihao Li · Yuanxing Zhang · Zhenghao Song · Dingling Zhang · Ying He · Haoxiang Liu · Yuxuan Wang · Qiufeng Wang · Jiafu Tang · Zhenhe Wu · Jiehui Luo · Zhiyu Pan · Weihao Xie · Chenchen Zhang · Zhaohui Wang · Jiayi Tian · Yanghai Wang · Zhe Cao · Minxin Dai · Ke Wang · Runzhe Wen · Yinghao Ma · Yaning Pan · Sungkyun Chang · Termeh Taheri · Haiwen Xia · Christos Plachouras · Emmanouil Benetos · Yizhi Li · Ge Zhang · Jian Yang · Tianhao Peng · zili wang · Minghao Liu · Junran Peng · Zhaoxiang Zhang · JIAHENG LIU
YUNYUE SU · Jiahui Chen · Zao Jiang · Zhenyi Zhong · Liang Wang · Qiang Liu · Zhaoxiang Zhang
Yuqi Wang · Xinghang Li · Wenxuan Wang · Junbo Zhang · Yingyan Li · Yuntao Chen · Xinlong Wang · Zhaoxiang Zhang
Haochen Wang · Xiangtai Li · Zilong Huang · Anran Wang · Jiacong Wang · Tao Zhang · Jiani zheng · Sule Bai · Zijian Kang · Jiashi Feng · Zhuochen Wang · Zhaoxiang Zhang
Yingyan Li · Shuyao Shang · Weisong Liu · Bing Zhan · Haochen Wang · Yuqi Wang · Yuntao Chen · Xiaoman Wang · Yasong An · Chufeng Tang · LU HOU · Lue Fan · Zhaoxiang Zhang
Haoge Deng · Ting Pan · Fan Zhang · Yang Liu · Zhuoyan Luo · Yufeng Cui · Wenxuan Wang · Chunhua Shen · Shiguang Shan · Zhaoxiang Zhang · Xinlong Wang
Qixing Zhou · JiaCheng Zhang · Haiyang Wang · Rui Hao · Jiahe Wang · Minghao Han · Yuxue Yang · Shuzhe Wu · Feiyang Pan · Lue Fan · Dandan Tu · Zhaoxiang Zhang
Shihao Li · Yuanxing Zhang · Jiangtao Wu · Zhide Lei · Yiwen He · Runzhe Wen · Chenxi Liao · Chengkang Jiang · An Ping · Shuo Gao · Suhan Wang · Zhaozhou Bian · Zijun Zhou · Jingyi Xie · Jiayi Zhou · Jing Wang · Yifan Yao · Weihao Xie · Yingshui Tan · Yanghai Wang · Qianqian Xie · Zhaoxiang Zhang · JIAHENG LIU
Yuxue Yang · Lue Fan · Ziqi Shi · Junran Peng · Feng Wang · Zhaoxiang Zhang
Zhongyuan Peng · Yifan Yao · Kaijing Ma · Shuyue Guo · Yizhe Li · Yichi Zhang · Chenchen Zhang · Yifan Zhang · Zhouliang Yu · Luming Li · Minghao Liu · Yihang Xia · JIAWEI SHEN · Yuchen Wu · Yixin Cao · Zhaoxiang Zhang · Wenhao Huang · JIAHENG LIU · Ge Zhang
Translating natural language mathematical statements into formal, executable code is a fundamental challenge in automated theorem proving. While prior work has focused on generation and compilation success, little attention has been paid to the critic phase—the evaluation of whether generated for...
Zefu Lin · Rongxu Cui · Chen Hanning · Xiangyu Wang · Junjia Xu · Xiaojuan Jin · Chen Wenbo · Hui Zhou · Lue Fan · Wenling Li · Zhaoxiang Zhang
Junhong Zou · Wei Qiu · Zhenxu Sun · Xiaomei Zhang · Zhaoxiang Zhang · Xiangyu Zhu