GeoFM: Enhancing Geometric Reasoning of MLLMs via Synthetic Data Generation through Formal Language
机构 * Tencent Hunyuan Team（腾讯文言团队）
专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.AI
AI 大模型
大模型推理能力
大模型数学、逻辑、规划、多步推理和测试时计算能力。
1. 代码与定理证明 2 篇
Towards the Formalization of a Trustworthy AI for Mining Interpretable Models explOiting Sophisticated Algorithms
机构 * University of Pisa（比萨大学）
专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI
