|
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
|
|
|
Poster
|
Fri 11:00
|
Solving Inverse Problems via Diffusion Optimal Control
Henry Li · Marcus Pereira
|
|
|
Poster
|
Wed 11:00
|
Warped Diffusion: Solving Video Inverse Problems with Image Diffusion Models
Giannis Daras · Weili Nie · Karsten Kreis · Alex Dimakis · Morteza Mardani · Nikola Kovachki · Arash Vahdat
|
|
|
Poster
|
Wed 11:00
|
Functionally Constrained Algorithm Solves Convex Simple Bilevel Problem
Huaqing Zhang · Lesi Chen · Jing Xu · Jingzhao Zhang
|
|
|
Workshop
|
Sun 9:00
|
Tom Goldstein: Can transformers solve harder problems than they were trained on? Scaling up test-time computation via recurrence
Tom Goldstein
|
|
|
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
|
|
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
|
|
|
Workshop
|
|
Genetic Curriculum Learning for Distribution Generalization on the Travelling Salesman Problem
Michael Li · Christopher Haberland · Natasha Jaques
|
|
|
Workshop
|
|
Math2Sym: A System for Solving Elementary Problems via Large Language Models and Symbolic Solvers
Nguyen Phu · Phuong Pham · Man Ngo · Tuan Minh Kha
|
|
|
Poster
|
Wed 16:30
|
STk: A Scalable Module for Solving Top-k Problems
Hanchen Xia · Weidong Liu · Xiaojun Mao
|
|
|
Poster
|
Thu 16:30
|
The Reliability of OKRidge Method in Solving Sparse Ridge Regression Problems
Xiyuan Li · Youjun Wang · Weiwei Liu
|
|
