@inproceedings{yamada-etal-2026-connective,
    title = "The Connective \textit{but} in Informal Mathematical Proof: A Corpus-Based Study",
    author = "Yamada, Rinta  and
      Yamasaki, Sakiko  and
      Ando, Risako  and
      Amamoto, Takayuki  and
      Akiyoshi, Ryota  and
      Mineshima, Koji",
    editor = "Valentino, Marco  and
      Ferreira, Deborah  and
      Thayaparan, Mokanarangan  and
      Ranaldi, Leonardo  and
      Cheng, Jo-Ku  and
      Freitas, Andre",
    booktitle = "The Proceedings of the 4th Workshop on Mathematical Natural Language Processing ({M}ath{NLP} 2026)",
    month = oct,
    year = "2026",
    address = "Budapest, Hungary",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2026.mathnlp-main.12/",
    pages = "152--166",
    ISBN = "979-8-89176-468-2"
}