目录
自动验证
条目：2
2026年三月
2 篇
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[ARXIV] | 4min | school
HorizonMath：自动验证技术衡量AI数学发现进展 03-18
HorizonMath
数学推理
基准测试 |
[自动]
[ARXIV] | 3min | school
HorizonMath：自动验证技术评估AI数学发现能力 03-17
HorizonMath
数学基准
自动验证 |
无匹配条目
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[ARXIV] | 4min | school
HorizonMath：自动验证技术衡量AI数学发现进展 03-18
HorizonMath
数学推理
基准测试 |
[自动]
[ARXIV] | 3min | school
HorizonMath：自动验证技术评估AI数学发现能力 03-17
HorizonMath
数学基准
自动验证 |