firstbacksecondback
34 Results
|
Workshop
|
Sun 12:25 |
VISTA: Visual Integrated System for Tailored Automation in Math Problem Generation Using LLM Jeongwoo Lee · KWANGSUK PARK · Jihyeon Park |
|
|
Workshop
|
Intermediate Fine-Tuning Improves Mathematical Reasoning in Smaller Models Neeraj Gangwar · Suma Bhat · Nickvash Kani |
||
|
Workshop
|
Smaller, Weaker, Yet Better: Training LLM Reasoners via Compute-Optimal Sampling Hritik Bansal · Arian Hosseini · Rishabh Agarwal · Vinh Tran · Mehran Kazemi |
||
|
Expo Talk Panel
|
Wed 16:30 |
Logarithmic Math in accurate and efficient AI inference accelerators |
|
|
Workshop
|
Math2Sym: A System for Solving Elementary Problems via Large Language Models and Symbolic Solvers Nguyen Phu · Phuong Pham · Man Ngo · Tuan Minh Kha |
||
|
Oral
|
Thu 16:10 |
OpenMathInstruct-1: A 1.8 Million Math Instruction Tuning Dataset Shubham Toshniwal · Ivan Moshkov · Sean Narenthiran · Daria Gitman · Fei Jia · Igor Gitman |
|
|
Poster
|
Thu 16:30 |
OpenMathInstruct-1: A 1.8 Million Math Instruction Tuning Dataset Shubham Toshniwal · Ivan Moshkov · Sean Narenthiran · Daria Gitman · Fei Jia · Igor Gitman |
|
|
Poster
|
Wed 11:00 |
Evaluating Large Vision-and-Language Models on Children's Mathematical Olympiads Anoop Cherian · Kuan-Chuan Peng · Suhas Lohit · Joanna Matthiesen · Kevin Smith · Josh Tenenbaum |
|
|
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 |
|
|
Poster
|
Fri 16:30 |
∇2DFT: A Universal Quantum Chemistry Dataset of Drug-Like Molecules and a Benchmark for Neural Network Potentials Kuzma Khrabrov · Anton Ber · Artem Tsypin · Konstantin Ushenin · Egor Rumiantsev · Alexander Telepov · Dmitry Protasov · Ilya Shenbin · Anton Alekseev · Mikhail Shirokikh · Sergey Nikolenko · Elena Tutubalina · Artur Kadurin |