Bridging Formal Language with Chain-of-Thought Reasoning to Geometry Problem Solving
专题命中 视觉空间推理 :reasoning(title,abstract);chain-of-thought(title,abstract);CoT(abstract);分类 cs.LG
AI 大模型
大模型数学、逻辑、规划、多步推理和测试时计算能力。
专题命中 视觉空间推理 :reasoning(title,abstract);chain-of-thought(title,abstract);CoT(abstract);分类 cs.LG
机构 * School of Vehicle and Mobility, Tsinghua University(清华大学车辆与移动性学院) ; State Key Laboratory of Intelligent Green Vehicle and Mobility, Tsinghua University(清华大学智能绿色车辆与移动性国家重点实验室) ; College of Information and Electrical Engineering, China Agricultural University(中国农业大学信息与电气工程学院) ; School of Statistics and Data Science, Southwestern University of Finance and Economics(西南财经大学统计与数据科学学院) ; Meituan, China(美团(中国))
专题命中 视觉空间推理 :reasoning(abstract)
专题命中 视觉空间推理 :reasoning(abstract)
机构 * Indiana University(印第安纳大学) ; National Yang-Ming Chiao-Tung University(国家阳明交通大学) ; Atmanity Inc.(Atmanity公司)
专题命中 视觉空间推理 :reasoning(abstract)
Comments 16 pages, 4 figures
Journal ref International Conference on Computer Vision, ICCV 2025
专题命中 视觉空间推理 :reasoning(abstract)
Journal ref Transactions on Machine Learning Research. (ISSN) 2835-885. 2025-08