Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4
Yuxin Li · Minghao LIU · Ruida WANG · JI WenZhao · Zhitao He · Rui Pan · Junming Huang · Tong Zhang · Yi R. Fung
首次获取该候选人的完整档案及 StartLux 评估共 20 积分;每位用户单独解锁,之后查看免费。主动刷新 20 积分。
实时查找电子邮箱,费用不超过20积分;未找到邮箱不扣费。
Yuxin Li · Minghao LIU · Ruida WANG · JI WenZhao · Zhitao He · Rui Pan · Junming Huang · Tong Zhang · Yi R. Fung
Qingyue Zhao · Kaixuan Ji · Heyang Zhao · Tong Zhang · Quanquan Gu
Ruida WANG · Jiarui Yao · Rui Pan · Shizhe Diao · Tong Zhang
Xiusi Chen · Gaotang Li · Ziqi Wang · Bowen Jin · Cheng Qian · Yu Wang · Hongru WANG · Yu Zhang · Denghui Zhang · Tong Zhang · Hanghang Tong · Heng Ji
Nishant Jain · Tong Zhang
Jerry Huang · Siddarth Madala · Cheng Niu · Julia Hockenmaier · Tong Zhang
Reranking algorithms have made progress in improving document retrieval quality by efficiently aggregating relevance judgments generated by large language models (LLMs). However, identifying relevant documents for queries that require in-depth reasoning remains a major challenge. Reasoning-intens...
Yaowenqi Liu · Bingxu Meng · Rui Pan · Yuxing Liu · Jerry Huang · Jiaxuan You · Tong Zhang
The field of AI research is advancing at an unprecedented pace, enabling automated hypothesis generation and experimental design across diverse domains such as biology, mathematics, and artificial intelligence. Despite these advancements, there remains a significant gap in the availability of sca...
Hanning Zhang · Juntong Song · Juno Zhu · Yuanhao Wu · Tong Zhang · Cheng Niu
Reward Modeling is critical in evaluating and improving the generation of Large Language Models (LLMs). % They are typically trained on high-quality annotated datasets to distinguish between better and worse responses. While numerous recent works have shown its feasibility in improving safety, he...