TY  - RPRT
TI  - MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
AU  - Xinyu Liu
AU  - Zixuan Xie
AU  - Amir Moeini
AU  - Claire Chen
AU  - Shuze Daniel Liu
AU  - Yu Meng
AU  - Aidong Zhang
AU  - Shangtong Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2602.02561
ID  - 2602.02561
ER  -