firstbacksecondback
13 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 |
|
|
Expo Talk Panel
|
Wed 16:30 |
Logarithmic Math in accurate and efficient AI inference accelerators |
|
|
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
|
Lean-STaR: Learning to Interleave Thinking and Proving Haohan Lin · Zhiqing Sun · Sean Welleck · Yiming Yang |
||
|
Workshop
|
SBSC: Step-by-Step Coding for Improving Mathematical Olympiad Performance Kunal Singh · Ankan Biswas · Sayandeep Bhowmick · Pradeep Moturi |
||
|
Workshop
|
SBI-RAG: Enhancing Math Word Problem Solving for Students through Schema-Based Instruction and Retrieval-Augmented Generation. Prakhar Dixit · Tim Oates |
||
|
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
|
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
|
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 |
||
|
Workshop
|
Machine Learning meets Algebraic Combinatorics: A Suite of Datasets to Accelerate AI for Mathematics Research Herman Chau · Helen Jenne · Davis Brown · Jesse He · Mark Raugas · Sara Billey · Henry Kvinge |
||
|
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
|
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 |