|
Workshop
|
|
WAMP: A Competition-Level Dataset for Assessing the Mathematical Reasoning Capabilities of LLMs
Yujun Mao · Yoon Kim · Yilun Zhou
|
|
|
Poster
|
Thu 15:00
|
Evaluating and Improving Tool-Augmented Computation-Intensive Math Reasoning
Beichen Zhang · Kun Zhou · Xilin Wei · Xin Zhao · Jing Sha · Shijin Wang · Ji-Rong Wen
|
|
|
Workshop
|
|
Can Visual Scratchpads With Diagrammatic Abstractions Augment LLM Reasoning?
Joy Hsu · Gabriel Poesia · Jiajun Wu · Noah Goodman
|
|
|
Workshop
|
|
Exploration with Principles for Diverse AI Supervision
Hao Liu · Matei A Zaharia · Pieter Abbeel
|
|
|
Workshop
|
|
Exploration with Principles for Diverse AI Supervision
Hao Liu · Matei A Zaharia · Pieter Abbeel
|
|
|
Poster
|
Wed 15:00
|
Symbol-LLM: Leverage Language Models for Symbolic System in Visual Human Activity Reasoning
Xiaoqian Wu · Yong-Lu Li · Jianhua Sun · Cewu Lu
|
|
|
Workshop
|
|
Reason for Future, Act for Now: A Principled Architecture for Autonomous LLM Agents
Zhihan Liu · Hao Hu · Shenao Zhang · Hongyi Guo · Shuqi Ke · Boyi Liu · Zhaoran Wang
|
|
|
Expo Talk Panel
|
Sun 10:00
|
Optimizing and Reasoning about LLM Inference: from First Principles to SOTA Techniques
Linden Li
|
|
|
Workshop
|
|
Reason for Future, Act for Now: A Principled Architecture for Autonomous LLM Agents
Zhihan Liu · Hao Hu · Shenao Zhang · Hongyi Guo · Shuqi Ke · Boyi Liu · Zhaoran Wang
|
|
|
Workshop
|
|
Solving Math Word Problems by Combining Language Models With Symbolic Solvers
Joy He-Yueya · Gabriel Poesia · Rose Wang · Noah Goodman
|
|
|
Workshop
|
|
Navigating Beyond the Dead End: A Math Problem Solving Framework by Switching among Diverse Reasoning Thoughts
Tengxiao Liu · Qipeng Guo · Yuqing Yang · Xiangkun Hu · Yue Zhang · Xipeng Qiu · Zheng Zhang
|
|
|
Workshop
|
|
llmstep: LLM proofstep suggestions in Lean
Sean Welleck · Rahul Saha
|
|
