@inproceedings{kasaura-etal-2026-discovering,
    title = "Discovering New Theorems via {LLM}s with In-Context Proof Learning in Lean",
    author = "Kasaura, Kazumi  and
      Onda, Naoto  and
      Oriike, Yuta  and
      Taniguchi, Masaya  and
      Sannai, Akiyoshi  and
      Sonoda, Sho",
    editor = "Yanaka, Hitomi  and
      Abzianidze, Lasha",
    booktitle = "Proceedings of the 6th Workshop on Natural Language Meets Logic and Machine Learning ({NALOMA})",
    month = aug,
    year = "2026",
    address = "Prague, Czechia",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/ingest-naloma/2026.naloma-1.5/",
    pages = "40--49",
    ISBN = "979-8-89176-389-0"
}