TY  - RPRT
TI  - LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving
AU  - Naoto Onda
AU  - Kazumi Kasaura
AU  - Yuta Oriike
AU  - Masaya Taniguchi
AU  - Akiyoshi Sannai
AU  - Sho Sonoda
PY  - 2025
UR  - https://arxiv.org/abs/2506.22005
ID  - 2506.22005
ER  -