热点
"神经定理证明器" 相关文章
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