firstbacksecondback
49 Results
|
Workshop
|
SBI-RAG: Enhancing Math Word Problem Solving for Students through Schema-Based Instruction and Retrieval-Augmented Generation. Prakhar Dixit · Tim Oates |
||
|
Workshop
|
Decomposing Complex Visual Comprehension into Atomic Visual Skills for Vision Language Models Hyunsik Chae · Seungwoo Yoon · Chloe Yewon Chun · Gyehun Go · Yongin Cho · Gyeongmin Lee · Ernest Ryu |
||
|
Workshop
|
Constraint-Based Synthetic Data Generation for LLM Mathematical Reasoning Timofey Fedoseev · Dimitar I. Dimitrov · Timon Gehr · Martin Vechev |
||
|
Poster
|
Fri 11:00 |
Learning Formal Mathematics From Intrinsic Motivation Gabriel Poesia · David Broman · Nick Haber · Noah Goodman |
|
|
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 |
|
|
Poster
|
Wed 16:30 |
Interpretable Concept-Based Memory Reasoning David Debot · Pietro Barbiero · Francesco Giannini · Gabriele Ciravegna · Michelangelo Diligenti · Giuseppe Marra |
|
|
Workshop
|
MathDSL: A Domain-Specific Language for Concise Mathematical Solutions Via Program Synthesis Sagnik Anupam · Matthew Bowers · Omar Costilla Reyes · Armando Solar-Lezama |
||
|
Workshop
|
NLIR: Natural Language Intermediate Representation for Mechanized Theorem Proving Laetitia Teodorescu · Guillaume Baudart · Emilio Arias · marc lelarge |
||
|
Workshop
|
SBSC: Step-by-Step Coding for Improving Mathematical Olympiad Performance Kunal Singh · Ankan Biswas · Sayandeep Bhowmick · Pradeep Moturi |
||
|
Poster
|
Wed 11:00 |
BABILong: Testing the Limits of LLMs with Long Context Reasoning-in-a-Haystack Yury Kuratov · Aydar Bulatov · Petr Anokhin · Ivan Rodkin · Dmitry Sorokin · Artyom Sorokin · Mikhail Burtsev |
|
|
Workshop
|
MathCAMPS: Fine-grained Synthesis of Mathematical Problems From Human Curricula Shubhra Mishra · Gabriel Poesia · Belinda Mo · Noah Goodman |
||
|
Workshop
|
STEM-PoM: Evaluating Language Models Math-Symbol Reasoning in Document Parsing Jiaru Zou · Qing Wang · Pratyush Thakur · Nickvash Kani |