热点
"LeanConjecturer" 相关文章
LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving
cs.AI updates on arXiv.org 2025-06-30T04:14:27.000000Z