@inproceedings{mazumdar-2026-runtime,
    title = "Runtime Verification of Dimensional Semantics in Checkpointed Large Language Model Tool Workflows",
    author = "Mazumdar, Aditya",
    editor = "Kamalloo, Ehsan  and
      Gontier, Nicolas  and
      Rozanov, Nikolai  and
      Hashemzadeh, Maryam  and
      Arora, Akhil",
    booktitle = "Proceedings of the Second Workshop for {RE}search on Agent Language Models ({REALM} 2026)",
    month = oct,
    year = "2026",
    address = "Budapest, Hungary",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2026.realm-1.54/",
    pages = "800--806",
    ISBN = "979-8-89176-485-9"
}