Plan and Budget: Effective and Efficient Test-Time Scaling on Reasoning Large Language Models
Junhong Lin · Xinyue Zeng · Jie Zhu · Song Wang · Julian Shun · Jun Wu · Dawei Zhou
首次获取该候选人的完整档案及 StartLux 评估共 20 积分;每位用户单独解锁,之后查看免费。主动刷新 20 积分。
实时查找电子邮箱,费用不超过20积分;未找到邮箱不扣费。
Junhong Lin · Xinyue Zeng · Jie Zhu · Song Wang · Julian Shun · Jun Wu · Dawei Zhou
Xinyue Zeng · Junhong Lin · Yujun Yan · Feng Guo · Liang Shi · Jun Wu · Dawei Zhou
Zheng Huang · Enpei Zhang · Weikang Qiu · Yinghao Cai · Carl Yang · Elynn Chen · Xiang Zhang · Rex Ying · Dawei Zhou · Yujun Yan
Jianpeng Chen · Wangzhi Zhan · Haohui Wang · Brian Mayer · Dongqi Fu · Dawei Zhou
Material claims in papers, patents, etc., often involve physical feasibility (e.g., stability under conditions, property consistency), not just textual feasibility. Yet most claim verifiers operate over language, therefore producing ungrounded judgments. On the other hand, directfirst-principles...