热点
"自动化定理证明" 相关文章
超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源
智源社区 2025-07-31T05:09:00.000000Z
Subtyping in DHOL -- Extended preprint
cs.AI updates on arXiv.org 2025-07-04T04:08:18.000000Z
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
AI科技评论 2025-05-22T12:06:41.000000Z