LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving. - Naoto Onda; Kazumi Kasaura; Yuta Oriike; Masaya Taniguchi; Akiyoshi Sannai; Sho Sonoda (CoRR, 2025)