TY  - RPRT
TI  - Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
AU  - Kazumi Kasaura
AU  - Naoto Onda
AU  - Yuta Oriike
AU  - Masaya Taniguchi
AU  - Akiyoshi Sannai
AU  - Sho Sonoda
PY  - 2026
UR  - https://arxiv.org/abs/2509.14274
ID  - 2509.14274
ER  -