firstbacksecondback
75 Results
|
Workshop
|
Sat 8:25 |
MATH-AI: The 4th Workshop on Mathematical Reasoning and AI Alex Gu · Gabriel Poesia · Cedegao (Ced) Zhang · Hattie Zhou · Pan Lu · Swaroop Mishra · Kai-Wei Chang · Armando Solar-Lezama |
|
|
Workshop
|
Skywork-Math: Data Scaling Laws for Mathematical Reasoning in LLMs — The Story Goes On Liang Zeng · Liangjun Zhong |
||
|
Workshop
|
SBSC: Step-by-Step Coding for Improving Mathematical Olympiad Performance Kunal Singh · Ankan Biswas · Sayandeep Bhowmick · Pradeep Moturi |
||
|
Workshop
|
Lean-STaR: Learning to Interleave Thinking and Proving Haohan Lin · Zhiqing Sun · Sean Welleck · Yiming Yang |
||
|
Workshop
|
Intermediate Fine-Tuning Improves Mathematical Reasoning in Smaller Models Neeraj Gangwar · Suma Bhat · Nickvash Kani |
||
|
Expo Talk Panel
|
Wed 16:30 |
Logarithmic Math in accurate and efficient AI inference accelerators |
|
|
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
|
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 |
||
|
Poster
|
Fri 16:30 |
RL on Incorrect Synthetic Data Scales the Efficiency of LLM Math Reasoning by Eight-Fold Amrith Setlur · Saurabh Garg · Xinyang Geng · Naman Garg · Virginia Smith · Aviral Kumar |
|
|
Workshop
|
Smaller, Weaker, Yet Better: Training LLM Reasoners via Compute-Optimal Sampling Hritik Bansal · Arian Hosseini · Rishabh Agarwal · Vinh Tran · Mehran Kazemi |
||
|
Poster
|
Fri 11:00 |
DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving Yuxuan Tong · Xiwen Zhang · Rui Wang · Ruidong Wu · Junxian He |