|
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
|
Fri 11:00
|
Solving Inverse Problems via Diffusion Optimal Control
Henry Li · Marcus Pereira
|
|
|
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
|
|
|
Poster
|
Thu 16:30
|
The Reliability of OKRidge Method in Solving Sparse Ridge Regression Problems
Xiyuan Li · Youjun Wang · Weiwei Liu
|
|
|
Poster
|
Wed 16:30
|
STk: A Scalable Module for Solving Top-k Problems
Hanchen Xia · Weidong Liu · Xiaojun Mao
|
|
|
Workshop
|
|
Math2Sym: A System for Solving Elementary Problems via Large Language Models and Symbolic Solvers
Nguyen Phu · Phuong Pham · Man Ngo · Tuan Minh Kha
|
|
|
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
|
Thu 11:00
|
How to Solve Contextual Goal-Oriented Problems with Offline Datasets?
Ying Fan · Jingling Li · Adith Swaminathan · Aditya Modi · Ching-An Cheng
|
|
|
Workshop
|
|
Constraint-Based Synthetic Data Generation for LLM Mathematical Reasoning
Timofey Fedoseev · Dimitar I. Dimitrov · Timon Gehr · Martin Vechev
|
|
|
Poster
|
|
StrategyLLM: Large Language Models as Strategy Generators, Executors, Optimizers, and Evaluators for Problem Solving
Chang Gao · Haiyun Jiang · Deng Cai · Shuming Shi · Wai Lam
|
|
|
Workshop
|
|
Informed Tree of Thought: Cost-efficient Problem Solving with Large Language Models
Sajad Mousavi · Desik Rengarajan · Ashwin Ramesh Babu · Sahand Ghorbanpour · Vineet Gundecha · Avisek Naug · Soumyendu Sarkar
|
|
|
Poster
|
Thu 11:00
|
Metacognitive Capabilities of LLMs: An Exploration in Mathematical Problem Solving
Aniket Didolkar · Anirudh Goyal · Nan Rosemary Ke · Siyuan Guo · Michal Valko · Timothy Lillicrap · Danilo Jimenez Rezende · Yoshua Bengio · Michael Mozer · Sanjeev Arora
|
|
