热点
"几何证明" 相关文章
LeanGeo: Formalizing Competitional Geometry problems in Lean
cs.AI updates on arXiv.org 2025-08-21T04:03:55.000000Z
字节Seed数学新模型，SOTA了
掘金 人工智能 2025-08-07T06:00:46.000000Z
字节Seed数学新模型，SOTA了
智源社区 2025-08-05T14:11:52.000000Z
形式化证明迈向多模态，MLLM正确率仅4%，港科大等推出全新基准
36kr-科技 2025-06-18T02:41:04.000000Z