firstbacksecondback
34 Results
|
Workshop
|
SBSC: Step-by-Step Coding for Improving Mathematical Olympiad Performance Kunal Singh · Ankan Biswas · Sayandeep Bhowmick · Pradeep Moturi |
||
|
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
|
STEM-PoM: Evaluating Language Models Math-Symbol Reasoning in Document Parsing Jiaru Zou · Qing Wang · Pratyush Thakur · Nickvash Kani |
||
|
Workshop
|
Skywork-Math: Data Scaling Laws for Mathematical Reasoning in LLMs — The Story Goes On Liang Zeng · Liangjun Zhong |
||
|
Poster
|
Fri 16:30 |
Measuring Multimodal Mathematical Reasoning with MATH-Vision Dataset Ke Wang · Junting Pan · Weikang Shi · Zimu Lu · Houxing Ren · Aojun Zhou · Mingjie Zhan · Hongsheng Li |
|
|
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 |
|
|
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 |
|
|
Poster
|
Wed 11:00 |
Evaluating Large Vision-and-Language Models on Children's Mathematical Olympiads Anoop Cherian · Kuan-Chuan Peng · Suhas Lohit · Joanna Matthiesen · Kevin Smith · Josh Tenenbaum |
|
|
Oral
|
Thu 16:10 |
OpenMathInstruct-1: A 1.8 Million Math Instruction Tuning Dataset Shubham Toshniwal · Ivan Moshkov · Sean Narenthiran · Daria Gitman · Fei Jia · Igor Gitman |
|
|
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 |
|
|
Poster
|
Thu 11:00 |
Neuro-Symbolic Data Generation for Math Reasoning Zenan Li · Zhi Zhou · Yuan Yao · Xian Zhang · Yu-Feng Li · Chun Cao · Fan Yang · Xiaoxing Ma |
|
|
Poster
|
Wed 16:30 |
The Selective GG-Bispectrum and its Inversion: Applications to G-Invariant Networks Simon Mataigne · Johan Mathe · Sophia Sanborn · Christopher Hillar · Nina Miolane |