|
Workshop
|
|
Formal Representation and Solution of Plane Geometric Problems
Xiaokai Zhang · Na Zhu · Cheng Qin · LI Yang · Zhenbing Zeng · Tuo Leng
|
|
|
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
|
|
|
Workshop
|
|
Give me a hint: Can LLMs take a hint to solve math problems?
Vansh Agrawal · Pratham Singla · Amitoj Miglani · Shivank Garg · Ayush Mangal
|
|
|
Oral
|
Thu 10:20
|
Decompose, Analyze and Rethink: Solving Intricate Problems with Human-like Reasoning Cycle
Shangzi Xue · Zhenya Huang · Jiayu Liu · Xin Lin · Yuting Ning · Binbin Jin · Xin Li · Qi Liu
|
|
|
Poster
|
|
Decompose, Analyze and Rethink: Solving Intricate Problems with Human-like Reasoning Cycle
Shangzi Xue · Zhenya Huang · Jiayu Liu · Xin Lin · Yuting Ning · Binbin Jin · Xin Li · Qi Liu
|
|
|
Workshop
|
|
SBI-RAG: Enhancing Math Word Problem Solving for Students through Schema-Based Instruction and Retrieval-Augmented Generation.
Prakhar Dixit · Tim Oates
|
|
|
Competition
|
Sat 13:50
|
#1st Place- MMGP: a Mesh Morphing Gaussian Process-based machine learning method for regression of physical problems under non-parameterized geometrical variability
Fabien Casenave
|
|
|
Poster
|
Wed 16:30
|
Aligning Embeddings and Geometric Random Graphs: Informational Results and Computational Approaches for the Procrustes-Wasserstein Problem
Mathieu Even · Luca Ganassali · Jakob Maier · Laurent Massoulié
|
|
