@inproceedings{mehta-etal-2026-formally,
    title = "Formally Verified {AI} Co-Reasoning: An Education Case Study",
    author = "Mehta, Arnav  and
      Guo, Chenjun  and
      Lu, Thomas  and
      Voss, Niels  and
      Patel, Manooshree  and
      Bhattacharyya, Rayna  and
      Donovan, Peter  and
      Ranade, Gireeja",
    editor = "Lee, Hung-Yi  and
      Dev, Sunipa  and
      Li, Jessy  and
      Elliott, Desmond",
    booktitle = "Findings of the {A}ssociation for {C}omputational {L}inguistics: {EMNLP} 2026",
    month = oct,
    year = "2026",
    address = "Budapest, Hungary",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2026.findings-emnlp.977/",
    pages = "20651--20668",
    ISBN = "979-8-89176-462-0"
}