firstbacksecondback
36 Results
|
Workshop
|
Synthesizing Verified Mathematical Problems Xuefeng Li · Yanheng He · Pengfei Liu |
||
|
Workshop
|
TurtleBench: A Visual Programming Benchmark in Turtle Geometry Sina Rismanchian · Yasaman Razeghi · Sameer Singh · Shayan Doroudi |
||
|
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 |
||
|
Workshop
|
SBI-RAG: Enhancing Math Word Problem Solving for Students through Schema-Based Instruction and Retrieval-Augmented Generation. Prakhar Dixit · Tim Oates |
||
|
Workshop
|
CAFA: Coding as Auto-Formulation Can Boost Large Language Models in Solving Linear Programming Problem Haoxuan Deng · Bohao Zheng · YURI JIANG · Trung Tran |
||
|
Poster
|
Fri 11:00 |
Learning Formal Mathematics From Intrinsic Motivation Gabriel Poesia · David Broman · Nick Haber · Noah Goodman |
|
|
Poster
|
Wed 16:30 |
Interpretable Concept-Based Memory Reasoning David Debot · Pietro Barbiero · Francesco Giannini · Gabriele Ciravegna · Michelangelo Diligenti · Giuseppe Marra |
|
|
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
|
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 |