热点
"自动定理证明" 相关文章
LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4
cs.AI updates on arXiv.org 2025-07-22T04:44:40.000000Z
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
cs.AI updates on arXiv.org 2025-07-10T04:05:52.000000Z
Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs
cs.AI updates on arXiv.org 2025-07-08T04:33:55.000000Z
Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving
cs.AI updates on arXiv.org 2025-07-04T04:08:24.000000Z
形式化证明迈向多模态，MLLM正确率仅4%，港科大等推出全新基准
36kr-科技 2025-06-18T02:41:04.000000Z
任何大于1的整数都有一个质因数，能不能用计算机来证明这个陈述？
虎扑-热帖 2025-06-11T08:06:43.000000Z
Seed Research | 形式化数学推理新SOTA！BFS-Prover模型最新开源
字节跳动技术团队 2025-02-27T16:29:52.000000Z
Feedback Loops Guide AI to Proof Checking
Communications of the ACM - Artificial Intelligence 2025-02-10T21:02:05.000000Z
AI 驱动的纯数学和理论物理研究：自上而下、自下而上和元数学
智源社区 2024-12-02T14:46:18.000000Z
AI 驱动的纯数学和理论物理研究：自上而下、自下而上和元数学
集智俱乐部 2024-12-01T15:11:28.000000Z
LEAN-GitHub: A Large-Scale Dataset for Advancing Automated Theorem Proving
MarkTechPost@AI 2024-07-25T13:34:19.000000Z