geometry problems | BriefGPT

关键词geometry problems

搜索结果 - 5

GeoGPT4V：朝向具有几何图像生成能力的几何多模式大型语言模型
使用 GPT-4 和 GPT-4V 生成对齐的文本和图像的几何问题数据集 GeoGPT4V，显著提高了各种模型在 MathVista 和 MathVision 基准测试中的几何性能。
PDF19 days ago
吴氏方法可使符号人工智能超越银牌，AlphaGeometry 在 IMO 几何竞赛中表现优异，超过金牌得主
利用自动定理证明方法解决国际数学奥林匹克竞赛（IMO）几何问题的研究中，AlphaGeometry 模型与 Wu 的方法的结合超越了 IMO 金牌得主的表现，解决了 30 个问题中的 27 个。
PDF3 months ago
使用 GeoGebra Discovery 自动演绎解决 Náboj 2023 竞赛中的几何问题
使用计算机和 GeoGebra Discovery 等软件工具，我们解决了 N'aboj 2023 竞赛中的一些几何问题，并通过符号计算分析了输入机器的困难，设定了未来使此类竞赛问题更易解决的目标。
PDF5 months ago
GeomVerse：几何推理的大型模型的系统评估
大语言模型在多步数学推理方面表现出色，但包含文字和图像的数学推理问题需要评估视觉语言模型的推理能力。通过几何问题的镜头，我们通过多个角度评估视觉语言模型的推理能力。我们创建了一个合成的几何问题数据集，具有可控的难度级别，从而进行系统评估。我
PDF7 months ago
MM一种解决几何问题的符号字符感知模型
通过开发一个符号字符感知模型，该研究旨在完全探索符号字符在文本和图解理解中的角色，并在多模态推理框架下优化模型。该模型在解决几何问题的通用编码器 - 解码器流水线中得到整合，经过大量实验，在两个基准数据集（GeoQA 和 Geometry3
PDFa year ago