热点
"PutnamBench" 相关文章
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