热点
"LeanTree" 相关文章
LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4
cs.AI updates on arXiv.org 2025-07-22T04:44:40.000000Z