1
MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
用LLM填补Mathlib缺失的民间引理，首个基准测试助力形式化数学推理落地。
arXiv:2602.02561v3 Announce Type: replace-cross Abstract: While the ecosystem of Lean and Mathlib has enjoyed celebrated success in formal mathematica…