AI Stack

TAGS / TERM

数学推理

共 25 篇

  1. 语言模型自我改进：代理发现与测试时扩展 2026-05-11 · ARXIV
  2. MathNet：多模态数学推理与检索基准 2026-04-22 · ARXIV
  3. MathNet：全球多模态数学推理与检索基准 2026-04-21 · ARXIV
  4. HorizonMath：自动验证技术衡量AI数学发现进展 2026-03-18 · ARXIV
  5. Claude Opus 4.6 解决 Donald Knuth 提出的问题 2026-03-03 · HACKER_NEWS
  6. 为何LLM后训练中Pass@k优化会降低Pass@1性能 2026-02-26 · ARXIV
  7. 为何Pass@k优化会降低Pass@1：大模型后训练中的提示干扰 2026-02-25 · ARXIV
  8. 分享AI模型在First Proof数学挑战中的证明尝试 2026-02-24 · BLOGS_PODCASTS
  9. 分享AI模型针对First Proof数学挑战的证明尝试 2026-02-24 · BLOGS_PODCASTS
  10. AI模型在First Proof数学挑战中的证明尝试 2026-02-23 · BLOGS_PODCASTS
  11. 分享AI模型在First Proof数学挑战中的证明尝试 2026-02-23 · BLOGS_PODCASTS
  12. 分享AI模型针对First Proof数学挑战的证明尝试 2026-02-23 · BLOGS_PODCASTS
  13. AI模型针对First Proof数学挑战的证明尝试与推理能力测试 2026-02-21 · BLOGS_PODCASTS
  14. Lean 4 定理证明器工作原理及其在 AI 领域的竞争优势 2026-02-21 · HACKER_NEWS
  15. 分享AI模型在First Proof数学挑战中的证明尝试 2026-02-21 · BLOGS_PODCASTS
  16. 基于任务复杂度的浅层对齐假说操作化研究 2026-02-18 · ARXIV
  17. GPT-5.2推导新胶子振幅公式获正式证明 2026-02-18 · BLOGS_PODCASTS
  18. 基于枢纽重采样的LLM强化学习深度密集探索 2026-02-17 · ARXIV
  19. 语言模型在线策略上下文蒸馏方法 2026-02-15 · ARXIV
  20. 面向语言模型的在线上下文蒸馏方法 2026-02-13 · ARXIV
  21. Z.ai GLM-5开源：新SOTA级开放权重大模型 2026-02-13 · BLOGS_PODCASTS
  22. DyTopo：基于语义匹配的多智能体动态拓扑路由 2026-02-07 · ARXIV
  23. DyTopo：基于语义匹配的多智能体动态拓扑路由 2026-02-06 · ARXIV
  24. 基于资格推理与分节强化学习的引理可靠利用 2026-02-03 · ARXIV
  25. 推理大模型从被动求解转向主动提问 2026-01-30 · ARXIV