Skander Moalla 等发布论文《h1：自动定理证明中的苦涩教训》

Focus to learn more arXiv 通过 DataCite 颁发的 DOI 提交历史 来自: Skander Moalla [查看邮箱] [v1] 2026年10月25日 周日 11:07:24 UTC (1,044 KB) [v2] 2026年10月30日 周五 17:36:57 UTC (1,066 KB) 全文链接: 访问论文: 查看题为 h1: A Taste of the Bitter Lesson in Automated Theorem Proving 的论文 PDF，作者为 Skander Moalla 及其他 4 位作者 查看 PDF HTML (实验性) TeX 源码 查看许可 附加功能 音频摘要 当前浏览上下文: cs.LG < 上一篇 | 下一篇 > 新 | 最近 | 2026-10 切换浏览分类: cs cs.LO 参考文献与引用 SciX Google Scholar Semantic Scholar 导出 BibTeX 引用 加载中... BibTeX 格式引用 × 加载中... 数据提供方: 书签 文献工具 文献与引用工具 文献浏览器开关 文献浏览器 (什么是文献浏览器?) Connected Papers 开关 Connected Papers (什么是 Connected Papers?) Litmaps 开关 Litmaps (什么是 Litmaps?) scite.ai 开关 scite 智能引用 (什么是智能引用?) 代码、数据、媒体 与本文相关的代码、数据和媒体 alphaXiv 开关 alphaXiv (什么是 alphaXiv?) 代码链接开关 CatalyzeX 论文代码查找器 (什么是 CatalyzeX?) DagsHub 开关 DagsHub (什么是 DagsHub?) GotitPub 开关 Gotit.pub (什么是 GotitPub?) Huggingface 开关 Hugging Face (什么是 Huggingface?) ScienceCast 开关 ScienceCast (什么是 ScienceCast?) 演示 演示 Replicate 开关 Replicate (什么是 Replicate?) Spaces 开关 Hugging Face Spaces (什么是 Spaces?) Spaces 开关 TXYZ.AI (什么是 TXYZ.AI?) 相关论文 推荐与搜索工具 链接到 Influence Flower Influence Flower (什么是 Influence Flowers?) 核心推荐开关 CORE 推荐器 (什么是 CORE?) IArxiv 推荐开关 IArxiv 推荐器 (什么是 IArxiv?) 作者 会议/期刊 机构 主题 关于 arXivLabs arXivLabs: 与社区合作者共同开展的实验性项目 arXivLabs 是一个允许合作者在我们网站上直接开发和分享新的 arXiv 功能的框架。 与 arXivLabs 合作的个人和组织都认同并接受了我们关于开放、社区、卓越和用户数据隐私的价值观。arXiv 致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。 有想法开展一个能为 arXiv 社区增加价值的项目吗? 了解更多关于 arXivLabs 的信息。