热点
"自动化定理证明" 相关文章
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
cs.AI updates on arXiv.org 2025-10-15T04:46:45.000000Z
Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
cs.AI updates on arXiv.org 2025-10-02T04:19:03.000000Z
MIT affiliates win AI for Math grants to accelerate mathematical discovery
MIT News - Artificial intelligence 2025-09-22T19:49:33.000000Z
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
cs.AI updates on arXiv.org 2025-08-06T04:01:51.000000Z
超越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