实体
ResearchMath-14k
ResearchMath-14k
PulseAugur coverage of ResearchMath-14k — every cluster mentioning ResearchMath-14k across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
教程为 arXiv 上的数学问题构建语义搜索
本教程详细介绍了如何使用 ResearchMath-14k 数据集创建语义搜索引擎和开放状态分类器。该数据集包含来自 arXiv 的数学问题。过程包括加载和分析数据集的结构，例如问题在不同数学领域和开放状态类别中的分布。关键步骤包括提取特定领域的关键词、生成语义嵌入、可视化数据图景、聚类相似问题以及训练分类器以从这些嵌入中预测问题状态。
-
新数据集和代理框架推动AI迈向研究级数学
研究人员开发了新的方法和数据集，以提高AI解决复杂、研究级数学问题的能力。其中一种方法ResearchMath-14k，从学术来源中整理了超过14,000个问题，揭示了当前语言模型表现出回避行为，如不尝试和捏造参考文献。另一个框架RMA利用专门的代理进行问题分析、文献检索和证明验证，在十个研究级问题的基准测试中表现优于现有模型。