Benchmark results
media MarkTechPost · 7 天前 LMSYS Arena (Elo) · 1866.0Elo · 20 次浏览

Prior Labs 发布 TabPFN-3.5,以默认设置击败 2015 年 Otto Kaggle 冠军

Prior Labs 发布了 TabPFN-3.5,这是一个表格基础模型,能够在单次前向传播中预测表格数据,无需针对每个数据集进行训练或调优。该模型在 2015 年 Otto Group 产品分类挑战赛的私有排行榜上得分 0.375,击败了 Gilberto Titericz 和 Stanislav Semenov 取得的原始获胜分数 0.382。

arxiv arXiv cs.CL · 8 天前 Codeforces (Elo) · 98.2% · 27 次浏览

Stellar Colosseum 利用多智能体推理进行长周期数学研究

Stellar Colosseum 是一个与模型无关的框架,旨在为数学和理论计算机科学领域的长周期研究分配推理资源,以解决语言模型在处理复杂问题时可靠性不足的问题。该系统在构建证明之前探索替代策略,使用就绪门控(readiness gate)判断某条路径是否足够成熟以进行分解,并将证明计划表示为相互依赖的章节级子问题。

arxiv arXiv cs.LG · 8 天前 Codeforces (Elo) · 98.2% · 25 次浏览

Stellar Colosseum:面向长周期数学与TCS研究的多智能体框架

作者介绍了Stellar Colosseum,这是一个模型无关的框架,旨在为数学和理论计算机科学领域的长周期研究分配推理资源。该系统在构建证明之前探索替代策略,使用就绪门控(readiness gate)判断某条路径是否足够成熟以进行分解,并将证明计划表示为相互依赖的章节级子问题。