firstbacksecondback
5 Results
|
Workshop
|
Lean-STaR: Learning to Interleave Thinking and Proving Haohan Lin · Zhiqing Sun · Sean Welleck · Yiming Yang |
||
|
Workshop
|
Synchronizing Verbal Responses and Board Writing for Multimodal Math Instruction with LLMs Yuan-Hao Jiang · Ruijia Li · Yuang Wei · Rui Jia · Xiaobao Shao · Hanglei Hu · Bo Jiang |
||
|
Workshop
|
Machine Learning meets Algebraic Combinatorics: A Suite of Datasets to Accelerate AI for Mathematics Research Herman Chau · Helen Jenne · Davis Brown · Jesse He · Mark Raugas · Sara Billey · Henry Kvinge |
||
|
Poster
|
Wed 16:30 |
The Selective G-Bispectrum and its Inversion: Applications to G-Invariant Networks Simon Mataigne · Johan Mathe · Sophia Sanborn · Christopher Hillar · Nina Miolane |
|
|
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 |