MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics 文章

ArXiv CS.AI2026-05-28NEWSen作者: Xinyu Liu, Zixuan Xie, Amir Moeini, Claire Chen, Shuze Daniel Liu, Yu Meng, Aidong Zhang, Shangtong Zhang