热点
"MiniF2F" 相关文章
BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving
cs.AI updates on arXiv.org 2025-10-10T04:20:38.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