|
Poster
|
Fri 11:00
|
DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving
Yuxuan Tong · Xiwen Zhang · Rui Wang · Ruidong Wu · Junxian He
|
|
|
Workshop
|
|
Give me a hint: Can LLMs take a hint to solve math problems?
Vansh Agrawal · Pratham Singla · Amitoj Miglani · Shivank Garg · Ayush Mangal
|
|
|
Poster
|
Fri 16:30
|
Lean Workbook: A large-scale Lean problem set formalized from natural language math problems
Huaiyuan Ying · Zijian Wu · Yihan Geng · JIayu Wang · Dahua Lin · Kai Chen
|
|
|
Workshop
|
Sun 12:25
|
VISTA: Visual Integrated System for Tailored Automation in Math Problem Generation Using LLM
Jeongwoo Lee · KWANGSUK PARK · Jihyeon Park
|
|
|
Workshop
|
|
Math for AI: On the Generalization of Learning Mathematical Problem Solving
Ruochen Zhou · Minrui Xu · Shiqi Chen · Junteng Liu · Yunqi Li · LIN Xinxin · Zhengyu Chen · Junxian He
|
|
|
Workshop
|
|
SBI-RAG: Enhancing Math Word Problem Solving for Students through Schema-Based Instruction and Retrieval-Augmented Generation.
Prakhar Dixit · Tim Oates
|
|
|
Workshop
|
|
HARDMATH: A Benchmark Dataset for Challenging Problems in Applied Mathematics
Jingxuan Fan · Sarah Martinson · Erik Wang · Kaylie Hausknecht · Jonah Brenner · Danxian Liu · Nianli Peng · Corey Wang · Michael Brenner
|
|
|
Workshop
|
|
DrawEduMath: Evaluating Vision Language Models with Expert-Annotated Students’ Hand-Drawn Math Images
Sami Baral · Li Lucy · Ryan Knight · Alice Ng · Luca Soldaini · Neil Heffernan · Kyle Lo
|
|
|
Workshop
|
|
MathCAMPS: Fine-grained Synthesis of Mathematical Problems From Human Curricula
Shubhra Mishra · Gabriel Poesia · Belinda Mo · Noah Goodman
|
|
|
Workshop
|
|
Math2Sym: A System for Solving Elementary Problems via Large Language Models and Symbolic Solvers
Nguyen Phu · Phuong Pham · Man Ngo · Tuan Minh Kha
|
|
|
Workshop
|
|
Models Can and Should Embrace the Communicative Nature of Human-Generated Math
Sasha Boguraev · Ben Lipkin · Leonie Weissweiler · Kyle Mahowald
|
|
