@inproceedings{yang-etal-2026-prompt,
    title = "Prompt Rewrites Are Semantic Actions: Testing Whether Language Models Obey Typed Operator Laws",
    author = "Yang, Zida  and
      Zeng, Weiqing  and
      You, Guquan  and
      Zheng, Yu",
    editor = "Zhang, Yue  and
      Xu, Ruifeng  and
      Purwarianti, Ayu  and
      Rong, Tong  and
      Suzuki, Jun",
    booktitle = "Findings of the {A}ssociation for {C}omputational {L}inguistics: {IJCNLP}-{AACL} 2026",
    month = nov,
    year = "2026",
    address = "Hengqin, China",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2026.findings-aacl.136/",
    pages = "2649--2671",
    ISBN = "979-8-89176-444-6"
}