firstbacksecondback
34 Results
|
Workshop
|
OpenMathInstruct-2: Accelerating AI for Math with Massive Open-Source Instruction Data Shubham Toshniwal · Wei Du · Ivan Moshkov · Branislav Kisacanin · Alexan Ayrapetyan · Igor Gitman |
||
|
Workshop
|
Models Can and Should Embrace the Communicative Nature of Human-Generated Math Sasha Boguraev · Ben Lipkin · Leonie Weissweiler · Kyle Mahowald |
||
|
Workshop
|
SBI-RAG: Enhancing Math Word Problem Solving for Students through Schema-Based Instruction and Retrieval-Augmented Generation. Prakhar Dixit · Tim Oates |
||
|
Workshop
|
InfiMM-WebMath-40B: Advancing Multimodal Pre-Training for Enhanced Mathematical Reasoning Xiaotian Han · Yiren Jian · Xuefeng Hu · Haogeng Liu · Yiqi Wang · Qihang Fan · Yuang Ai · Huaibo Huang · Ran He · Zhenheng Yang · Quanzeng You |
||
|
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
|
Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data Huajian Xin · Daya Guo · Zhihong Shao · Z.Z. Ren · Qihao Zhu · Bo Liu · Chong Ruan · Wenda Li · Xiaodan Liang |
||
|
Workshop
|
Lean-STaR: Learning to Interleave Thinking and Proving Haohan Lin · Zhiqing Sun · Sean Welleck · Yiming Yang |
||
|
Workshop
|
Give me a hint: Can LLMs take a hint to solve math problems? Vansh Agrawal · Pratham Singla · Amitoj Miglani · Shivank Garg · Ayush Mangal |
||
|
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
|
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
|
Mining Math Conjectures from LLMs: A Pruning Approach Jake Chuharski · Elias Rojas Collins · Mark Meringolo |
||
|
Workshop
|
AI-Assisted Generation of Difficult Math Questions Vedant Shah · Dingli Yu · Kaifeng Lyu · Simon Park · Jiatong Yu · Yinghui He · Nan Rosemary Ke · Michael Mozer · Yoshua Bengio · Sanjeev Arora · Anirudh Goyal |