@inproceedings{proctor-etal-2026-naturalprism,
    title = "{N}atural{PRISM}: A Natural Language Premise Retrieval Task for Research-level Intermediate Proof States",
    author = "Proctor, Harris  and
      An, Li  and
      LaHue, Austin  and
      Burr, Michael  and
      Jansari, Vinita Gangaram  and
      Hernandez, Carlos Toxtli  and
      Puente, Luis David Garcia  and
      Nye, Benjamin E",
    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.13/",
    pages = "167--176",
    ISBN = "979-8-89176-468-2"
}