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