热点
"PUTNAMBENCH" 相关文章
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
Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving
cs.AI updates on arXiv.org 2025-07-04T04:08:24.000000Z
UT Austin Researchers Introduce PUTNAMBENCH: A Comprehensive AI Benchmark for Evaluating the Capabilities of Neural Theorem-Provers with Putnam Mathematical Problems
MarkTechPost@AI 2024-07-20T11:48:45.000000Z