实体 Xingyu Dang

Xingyu Dang

PulseAugur coverage of Xingyu Dang — every cluster mentioning Xingyu Dang across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_93834 · Jun 16 · 04:00

Gemini 3.0 Pro 管道大幅降低数学问题成本，达到 SOTA

研究人员开发了一种新的推理管道，显著降低了使用现成 AI 模型解决复杂数学问题的成本。该方法在使用 Gemini 3.0 Pro 的情况下，在 IMO-ProofBench Advanced 基准测试上取得了最先进的性能，而成本仅为先前方法的零头。该管道通过隔离和独立验证候选引理来解决解题器-评分器系统中的常见故障模式，这种技术被称为“上下文分离”。